Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso. Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001. pages 473-478, Morgan Kaufmann, 2001.

The following publications are possibly variants of this publication:

Conformant Planning via Symbolic Model CheckingAlessandro Cimatti, Marco Roveri. jair, 13:305-338, 2000. [doi]

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]

Conformant planning via symbolic model checking and heuristic searchAlessandro Cimatti, Marco Roveri, Piergiorgio Bertoli. ai, 159(1-2):127-206, 2004. [doi]

Strong Planning in Non-Deterministic Domains Via Model CheckingAlessandro Cimatti, Marco Roveri, Paolo Traverso. aips 1998: 36-43

Formal Verification of Diagnosability via Symbolic Model CheckingAlessandro Cimatti, Charles Pecheur, Roberto Cavada. IJCAI 2003: 363-369

Conformant Planning via Model CheckingAlessandro Cimatti, Marco Roveri. ecp 2000: 21-34

runs on WebDSL