Alessandro Cimatti

Head of Impact Area Smart Digital Industry

Contacts

+39 0461 314320

Publications

Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.; Strong temporal planning with uncontrollable durations; in «ARTIFICIAL INTELLIGENCE»; Vol. 256>; 2018; pp. 1-34
Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic; in «Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence»; AAAI Press; 2017; pp. 3547-3554
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto; Satisfiability Modulo Transcendental Functions via Incremental Linearization; in «Automated Deduction – CADE 26»; Vol. 10395>; 2017; pp. 95-113
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto; Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF; in «Tools and Algorithms for the Construction and Analysis of Systems»; Vol. 10205>; 2017; pp. 58-75
Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano; Model-Based Design of an Energy-System Embedded Controller Using Taste; in «Proceedings of FM 2016: Formal Methods 21st International Symposium»; Vol. 9995>; 2016; pp. 741-747
Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano; Infinite-state invariant checking with IC3 and predicate abstraction; in «FORMAL METHODS IN SYSTEM DESIGN»; 2016; pp.
Cimatti, A.; Mover, S.; Sessa, M.; From Electrical Switched Networks to Hybrid Automata; in «Proceedings of the 21st International Symposium on Formal Methods, FM 2016»; Vol. 9995>; 2016; pp. 164-181
Cimatti, Alessandro; Demasi, Ramiro; Tonetta, Stefano; Tightening a Contract Refinement; in «Software Engineering and Formal Methods - 14th International Conference,SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8,2016, Proceedings»; Springer; Vol. 9763>; 2016; pp. 386-402
Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano; A Lazy Approach to Temporal Epistemic Logic Model Checking; in «Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems»; International Foundation for Autonomous Agents and Multiagent Systems; 2016; pp. 1218-1226
Gario, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne; Model Checking at Scale: Automated Air Traffic Control Design Space Exploration; in «Computer Aided Verification - 28th International Conference CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II»; Vol. 9780>; 2016; pp. 3-22