CONFORMANT PLANNING VIA MODEL CHECKING (1999)

Cached

Download Links

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

Active Bibliography

118 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
832 Planning and acting in partially observable stochastic domains – Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra - 1998
2424 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
32 Service Composition as AI Planning - a Survey – J Peer, Web - 2005
600 The FF planning system: Fast plan generation through heuristic search – Jörg Hoffmann, Bernhard Nebel - 2001