1. Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri and Simone Semprini (2006) Symbolic Implementation of Alternating Automata. In CIAA., pages 208-218. (url) (BibTeX)
  2. Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem and Alessandro Cimatti (2006) Formal analysis of hardware requirements. In DAC., pages 821-826. (url) (BibTeX)
  3. Alessandro Cimatti, Marco Roveri, Simone Semprini and Stefano Tonetta (2006) From PSL to NBA: a Modular Symbolic Encoding. In FMCAD., pages 125-133. (url) (BibTeX)
  4. Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri and Paolo Traverso (2006) Strong planning under partial observability. Artif. Intell., 170(4-5):337-384. (url) (BibTeX)
  5. Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini and Andrei Tchaltsev (2006) RAT: A tool for formal analysis of requirements. In Demo Session of the \emph{$17^{th}$ European Conference on Artificial Intelligence} (ECAI) 2006. Riva Del Garda, Italy, aug. (BibTeX)