Roveri, Marco

Roveri, Marco  

Ingegneria e scienza dell'Informaz (29/10/12-)  

Mostra records
Risultati 1 - 20 di 141 (tempo di esecuzione: 0.029 secondi).
Titolo Anno di pubblicazione Autori Unitn File
6th International Workshop on Systems Software Verification, SSV 2011 1-gen-2012 Marco Roveri +
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 1-gen-2016 Alessandro CimattiAhmed IrfanAlberto GriggioMarco RoveriRoberto Sebastiani
A Comprehensive Approach to On-Board Autonomy Verification and Validation 1-gen-2009 Alessandro CimattiMarco Roveri +
A Comprehensive Approach to On-Board Autonomy Verification and Validation 1-gen-2011 Alessandro CimattiMarco Roveri +
A Comprehensive Approach to On-board Autonomy Verification and Validation 1-gen-2021 Roveri, Marco +
A Critical Overview and Open Questions for Temporal Planning with Uncertainty 1-gen-2011 Marco Roveri +
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 1-gen-2020 Hani BeiramiAlessandro CimattiMarco RoveriPiergiorgio Svaizer +
A Demonstration of BDI-Based Robotic Systems with ROS2 1-gen-2022 Dal Moro D.Robol M.Roveri M.Giorgini P.
A Framework for Integrating Business Processes and Business Requirements 1-gen-2004 R. KazhamiakinM. PistoreM. Roveri
A Markovian model for the spread of the SARS-CoV-2 virus 1-gen-2023 Palopoli, LuigiFontanelli, DanieleFrego, MarcoRoveri, Marco
A Model Checker for AADL 1-gen-2010 Alessandro CimattiMarco Roveri +
A new method for testing decision procedures in modal and terminological logics 1-gen-1996 Giunchiglia, FaustoRoveri, MarcoSebastiani, Roberto
A new method for testing decision procedures in modal logics 1-gen-1997 Giunchiglia, FaustoRoveri, MarcoSebastiani, Roberto
Abstraction in Model Checking for Bug Hunting 1-gen-2000 Marco Roveri
Abstraction in planning via model checking 1-gen-1998 Giunchiglia, FaustoM. Roveri +
Agent-oriented modeling by interleaving formal and informal specification 1-gen-2003 Perini, AnnaRoveri, MarcoSusi, Angelo +
An Analytic Evaluation of SystemC Encodings in Promela 1-gen-2011 Alessandro CimattiMarco Roveri +
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 1-gen-2015 Alessandro CimattiAndrea MicheliMarco Roveri
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 1-gen-1998 Alessandro CimattiMarco Roveri +
Boolean Abstraction for Temporal Logic Satisfiability 1-gen-2007 Roveri, MarcoTonetta, Stefano +