Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning (2001)

Cached

Download Links

by Piergiorgio Bertoli , Alessandro Cimatti , Marco Roveri
Citations:40 - 7 self

Active Bibliography

55 MBP: A Model Based Planner – P Bertoli, A Cimatti, M Pistore, M Roveri, P Traverso - 2001
ABSTRACT Title of dissertation: PLANNING UNDER UNCERTAINTY: MOVING FORWARD – unknown authors
120 Conformant Planning via Symbolic Model Checking and Heuristic Search – A. Cimatti, M. Roveri, P. Bertoli - 2003
116 Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking – P. Bertoli , A. Cimatti , M. Roveri , P. Traverso - 2001
Heuristic Search in Belief Space, Symbolic Model Checking – A. Cimatti, M. Roveri, P. Bertoli - 2004
11 Conditional Planning under Partial Observability as Heuristic-Symbolic Search in Belief Space – P. Bertoli, A. Cimatti , Marco Roveri - 2001
80 A Logic Programming Approach to Knowledge-State Planning, II: The DLV System – Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres - 2001
A Logic Programming Approach to Knowledge-State Planning: . . . – Abtg Wissensbasierte Systeme, Gerald Pfeifer, Axel Polleres, Thomas Eiter, Thomas Eiter, Wolfgang Faber, Wolfgang Faber, Nicola Leone, Nicola Leone - 2001
9 Task Decomposition on Abstract States, for Planning under Nondeterminism – Ugur Kuter , Dana Nau , Marco Pistore , Paolo Traverso - 2009