CONFORMANT PLANNING VIA MODEL CHECKING (1999)

Cached

Download Links

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

Active Bibliography

120 Conformant Planning via Symbolic Model Checking and Heuristic Search – A. Cimatti, M. Roveri, P. Bertoli - 2003
Forward Conformant Planning . . . – Alessandro Cimatti, Marco Roveri
ABSTRACT Title of dissertation: PLANNING UNDER UNCERTAINTY: MOVING FORWARD – unknown authors
Heuristic Search in Belief Space, Symbolic Model Checking – A. Cimatti, M. Roveri, P. Bertoli - 2004
55 MBP: A Model Based Planner – P Bertoli, A Cimatti, M Pistore, M Roveri, P Traverso - 2001
34 Web Service Composition as AI Planning: A Survey – J Peer - 2005
852 Planning and acting in partially observable stochastic domains – Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra - 1998
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
528 Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search – Henry Kautz, Bart Selman - 1996