Micheli, Andrea
Micheli, Andrea
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
2015-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies
2016-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Dynamic controllability via Timed Game Automata
2016-01-01 Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco
Kratos - A Software Model Checker for SystemC
2011-01-01 Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco
OthelloPlay: a plug-in based tool for requirement formalization and validation
2011-01-01 Cavada, Roberto; Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Planning and Scheduling in Temporally Uncertain Domains
2016-01-01 Micheli, Andrea
Solving strong controllability of temporal problems with uncertainty using SMT
2014-01-01 Cimatti, Alessandro; Micheli, Andrea; Marco, Roveri; Roveri, Marco
Solving Temporal Problems Using SMT: Strong Controllability
2012-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, M.
Solving Temporal Problems Using SMT: Weak Controllability
2012-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation
2014-01-01 Cimatti, Alessandro; Hunsberger, L.; Micheli, Andrea; Posenato, R; Roveri, M.
Strong temporal planning with uncontrollable durations
2018-01-01 Cimatti, Alessandro; Do, Minh; Micheli, Andrea; Roveri, Marco; Smith, David E.
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach
2015-01-01 Cimatti, A.; Micheli, A.; Roveri, M
Supporting Requirements Validation: The EuRailCheck Tool
2009-01-01 Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
The xSAP Safety Analysis Platform
2016-01-01 Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni
The nuXmv Symbolic Model Checker
2014-01-01 Cavada, R.; Cimatti, Alessandro; Dorigatti, M.; Griggio, A.; Mariotti, A.; Micheli, Andrea; Mover, S.; Roveri, M.; Tonetta, S.
Timelines with Temporal Uncertainty
2013-01-01 Cimatti, Alessandro; Micheli, Andrea; Marco, Roveri
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty
2014-01-01 Cimatti, Alessandro; Hunsberger, L.; Micheli, Andrea; Roveri, M.
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic
2017-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Verifying SystemC: a Software Model Checking Approach
2010-01-01 Cimatti, Alessandro; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco