The following publications are possibly variants of this publication:
- Conformant Planning via Symbolic Model CheckingAlessandro Cimatti, Marco Roveri. jair, 13:305-338, 2000. [doi]
- Conformant planning via symbolic model checking and heuristic searchAlessandro Cimatti, Marco Roveri, Piergiorgio Bertoli. ai, 159(1-2):127-206, 2004. [doi]
- Heuristic Search + Symbolic Model Checking = Efficient Conformant PlanningPiergiorgio Bertoli, Alessandro Cimatti, Marco Roveri. IJCAI 2001: 467-472
- Planning via Model Checking: A Decision Procedure for ::::AR::::Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso. ecp 1997: 130-142
- Planning in Nondeterministic Domains under Partial Observability via Symbolic Model CheckingPiergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso. IJCAI 2001: 473-478
- Strong Planning in Non-Deterministic Domains Via Model CheckingAlessandro Cimatti, Marco Roveri, Paolo Traverso. aips 1998: 36-43
- Solving Power Supply Restoration Problems with Planning via Symbolic Model CheckingPiergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux. ecai 2002: 576-580
- Weak, strong, and strong cyclic planning via symbolic model checkingAlessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso. ai, 147(1-2):35-84, 2003. [doi]