Cimatti, Alessandro

21 publications

AAAI 2022 Deciding Unsolvability in Temporal Planning Under Action Non-Self-Overlapping Stefan Panjkovic, Andrea Micheli, Alessandro Cimatti

AAAI 2020 Temporal Planning with Intermediate Conditions and Effects Alessandro Valentini, Andrea Micheli, Alessandro Cimatti

AAAI 2019 Robustness Envelopes for Temporal Plans Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi

AAAI 2017 Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic Alessandro Cimatti, Andrea Micheli, Marco Roveri

IJCAI 2016 Automated Synthesis of Timed Failure Propagation Graphs Benjamin Bittner, Marco Bozzano, Alessandro Cimatti

AAAI 2016 Automated Verification and Tightening of Failure Propagation Models Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri

AAAI 2016 Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies Alessandro Cimatti, Andrea Micheli, Marco Roveri

AAAI 2015 SMT-Based Validation of Timed Failure Propagation Graphs Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli

AAAI 2015 Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach Alessandro Cimatti, Andrea Micheli, Marco Roveri

AAAI 2014 Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri

AAAI 2013 Timelines with Temporal Uncertainty Alessandro Cimatti, Andrea Micheli, Marco Roveri

AAAI 2012 SMT-Based Verification of Hybrid Systems Alessandro Cimatti, Sergio Mover, Stefano Tonetta

AAAI 2012 Solving Temporal Problems Using SMT: Weak Controllability Alessandro Cimatti, Andrea Micheli, Marco Roveri

AAAI 2012 Symbolic Synthesis of Observability Requirements for Diagnosability Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive

IJCAI 2011 A Comprehensive Approach to On-Board Autonomy Verification and Validation Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev

JAIR 2011 Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani

IJCAI 2003 Formal Verification of Diagnosability via Symbolic Model Checking Alessandro Cimatti, Charles Pecheur, Roberto Cavada

IJCAI 2001 Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri

IJCAI 2001 Planning in Nondeterministic Domains Under Partial Observability via Symbolic Model Checking Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso

JAIR 2000 Conformant Planning via Symbolic Model Checking Alessandro Cimatti, Marco Roveri

AAAI 1998 Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains Alessandro Cimatti, Marco Roveri, Paolo Traverso