1. Alessandro Cimatti, Andrea Micheli and Marco Roveri (2015) An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. Artif. Intell., 224:1-27. (url) (BibTeX)
  2. Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab and Qiang Wang (2015) Formal Verification of Infinite-State BIP Models. In Automated Technology for Verification and Analysis - 13th International Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings., pages 326-343. (url) (BibTeX)
  3. Alessandro Cimatti, Andrea Micheli and Marco Roveri (2015) Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach. In Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, {USA.}., pages 3254-3260. (url) (BibTeX)
  4. Alessandro Cimatti, Marco Roveri and Stefano Tonetta (2015) HRELTL: A temporal logic for hybrid systems. Inf. Comput., 245:54-71. (url) (BibTeX)
  5. Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri and Stefano Tonetta (2015) Safety assessment of AltaRica models via symbolic model checking. Sci. Comput. Program., 98:464-483. (url) (BibTeX)
  6. Alessandro Cimatti, Andrea Micheli and Marco Roveri (2015) Solving strong controllability of temporal problems with uncertainty using SMT. Constraints, 20(1):1-29. (url) (BibTeX)