1. Marco Roveri (2002) Planning in Non-Deterministic Domains via Symbolic Model Checking. PhD thesis, Department if Computer Science, University of Milano. (BibTeX)
  2. Marco Roveri (2002) Planning in Non Deterministic Domains via Symbolic Model Checking. AI*IA Notizie. (BibTeX)
  3. Alessandro Cimatti, Marco Pistore, Marco Roveri and Roberto Sebastiani (2002) Improving the Encoding of LTL Model Checking into SAT. In VMCAI., pages 196-207. (url) (BibTeX)
  4. Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani and Armando Tacchella (2002) Integrating BDD-Based and SAT-Based Symbolic Model Checking. In FroCos., pages 49-56. (url) (BibTeX)
  5. Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani and Armando Tacchella (2002) NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In CAV., pages 359-364. (url) (BibTeX)