CONFORMANT PLANNING VIA MODEL CHECKING (1999)

View PDF

Download Links

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

Active Bibliography

134 Conformant Planning via Symbolic Model Checking and Heuristic Search – A. Cimatti, M. Roveri, P. Bertoli - 2003
Forward Conformant Planning . . . – Alessandro Cimatti, Marco Roveri
PLANNING UNDER UNCERTAINTY: MOVING FORWARD – Ugur Kuter - 2006
Heuristic Search in Belief Space, Symbolic Model Checking – A. Cimatti, M. Roveri, P. Bertoli - 2004
63 MBP: a model based planner – P Bertoli, A Cimatti, M Pistore, M Roveti, P Traverso - 2001
38 Web service composition as AI planning - a survey – J Peer - 2005
459 Planning as satisfiability – Henry Kautz, Bart Selman - 1992
897 Planning and acting in partially observable stochastic domains – Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra - 1998
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999