Roveri, Marco
Roveri, Marco
Ingegneria e scienza dell'Informaz (29/10/12-)
6th International Workshop on Systems Software Verification, SSV 2011
2012-01-01 Brauer, Jörg; Roveri, Marco; Tews, Hendrik
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic
2016-01-01 Cimatti, Alessandro; Irfan, Ahmed; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2011-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
A Comprehensive Approach to On-board Autonomy Verification and Validation
2021-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco
A Critical Overview and Open Questions for Temporal Planning with Uncertainty
2011-01-01 Gennari, Rosella; Roubickova, Anna; Roveri, Marco
A Data-driven Approach for RUL Prediction of an Experimental Filtration System
2020-01-01 Beirami, Hani; Calzà, Davide; Cimatti, Alessandro; Islam, Manjurul; Roveri, Marco; Svaizer, Piergiorgio
A Demonstration of BDI-Based Robotic Systems with ROS2
2022-01-01 Dal Moro, D.; Robol, M.; Roveri, M.; Giorgini, P.
A Framework for Integrating Business Processes and Business Requirements
2004-01-01 Kazhamiakin, R.; Pistore, M.; Roveri, M.
A Markovian model for the spread of the SARS-CoV-2 virus
2023-01-01 Palopoli, Luigi; Fontanelli, Daniele; Frego, Marco; Roveri, Marco
A Model Checker for AADL
2010-01-01 Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas; Roveri, Marco; Wimmer, Ralf
A new method for testing decision procedures in modal and terminological logics
1996-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
A new method for testing decision procedures in modal logics
1997-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
Abstraction in Model Checking for Bug Hunting
2000-01-01 Roveri, Marco
Abstraction in planning via model checking
1998-01-01 Cimatti, A.; Giunchiglia, Fausto; Roveri, M.
Agent-oriented modeling by interleaving formal and informal specification
2003-01-01 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
An Analytic Evaluation of SystemC Encodings in Promela
2011-01-01 Campana, Daniele; Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
2015-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains
1998-01-01 Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Boolean Abstraction for Temporal Logic Satisfiability
2007-01-01 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano