1. Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Marco Roveri and Paolo Traverso (2001) MBP: a Model Based Planner. In \emph{IJCAI-2001} workshop on \emph{Planning under Uncertainty and Incomplete Information}. Seattle, USA, aug. (BibTeX)
  2. Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani and Armando Tacchella (2001) NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking. In \emph{IJCAR} workshop \emph{Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics}. Siena, Italy, jun. (BibTeX)
  3. Alessandro Cimatti, Marco Roveri and Piergiorgio Bertoli (2001) Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. In TACAS., pages 313-327. (url) (BibTeX)
  4. Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri and Paolo Traverso (2001) Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In IJCAI., pages 473-478. (BibTeX)
  5. Piergiorgio Bertoli, Alessandro Cimatti and Marco Roveri (2001) Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. In IJCAI., pages 467-472. (BibTeX)
  6. Piergiorgio Bertoli, Alessandro Cimatti and Marco Roveri (2001) Conditional Planning under Partial Observability as Heuristic-Symbolic Search in Belief Space. In European Conference on Planning (ECP'2001). Toledo, Spain, sep. (BibTeX)