CONFORMANT PLANNING VIA MODEL CHECKING (1999)

Cached

Download Links

by A. Cimatti , M. Roveri
Citations:48 - 4 self

Documents Related by Co-Citation

127 Conformant graphplan – D Smith, D Weld - 1998
960 Fast Planning Through Planning Graph Analysis – Avrim L. Blum, Merrick L. Furst - 1995
88 Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains – A. Cimatti, M. Roveri, P. Traverso - 1998
142 Constructing Conditional Plans by a Theorem-Prover – Jussi Rintanen - 1999
203 Planning with Incomplete Information as Heuristic Search in Belief Space – Blai Bonet, Hector Geffner - 2000
84 Planning as Model Checking – F Giunchiglia, P Traverso - 1999
879 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
72 Planning via model checking: A decision procedure for AR – Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Paolo Traverso - 1997
521 Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search – Henry Kautz, Bart Selman - 1996
1737 STRIPS: A new approach to the application of theorem proving to problem solving. Arti cial Intelligence 2:189{208 – R Fikes, N J Nilsson - 1971
120 Conformant Planning via Symbolic Model Checking and Heuristic Search – A. Cimatti, M. Roveri, P. Bertoli - 2003
42 Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning – Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri - 2001
70 Representing Action: Indeterminacy and Ramifications – Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz - 1997
178 What is planning in the presence of sensing – Hector Levesque - 1996
2927 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
258 An Algorithm for Probabilistic Planning – Nicholas Kushmerick, Steve Hanks, Daniel Weld - 1995
132 Planning for Temporally Extended Goals – Fahiem Bacchus, Froduald Kabanza - 1997
131 An Action Language Based on Causal Explanation: Preliminary Report – Enrico Giunchiglia, Vladimir Lifschitz - 1998
156 Extending Graphplan to Handle Uncertainty & Sensing Actions – Daniel S. Weld, Corin R. Anderson, David E. Smith - 1999