STRONG CYCLIC PLANNING REVISITED

Cached

Download Links

by Marco Daniele , Paolo Traverso , Moshe Y. Vardi
Citations:31 - 9 self

Documents Related by Co-Citation

88 Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains – A. Cimatti, M. Roveri, P. Traverso - 1998
48 Strong Planning in Non-Deterministic Domains via Model Checking – A. Cimatti, Marco Roveri, Paolo Traverso - 1998
2927 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
1107 Temporal and modal logic – E. Allen Emerson - 1995
203 Planning with Incomplete Information as Heuristic Search in Belief Space – Blai Bonet, Hector Geffner - 2000
65 Planning as Model Checking for Extended Goals in Non-Deterministic Domains – Marco Pistore, Paolo Traverso - 2001
960 Fast Planning Through Planning Graph Analysis – Avrim L. Blum, Merrick L. Furst - 1995
1297 Symbolic Model Checking – K L McMillan - 1993
117 Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking – P. Bertoli , A. Cimatti , M. Roveri , P. Traverso - 2001
275 Using Temporal Logics to Express Search Control Knowledge for Planning – Fahiem Bacchus, Froduald Kabanza - 1999
54 MBP: a Model Based Planner – Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso - 2001
127 Conformant graphplan – D Smith, D Weld - 1998
72 Planning via model checking: A decision procedure for AR – Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Paolo Traverso - 1997
70 Planning Control Rules for Reactive Agents – F. Kabanza, M. Barbeau, R St-Denis - 1997
48 CONFORMANT PLANNING VIA MODEL CHECKING – A. Cimatti, M. Roveri - 1999
43 strong cyclic planning via symbolic model checking – strong Weak - 2003
24 Symbolic Techniques for Planning With Extended Goals in Non-Deterministic Domains – Marco Pistore , Renato Bettin, Paolo Traverso - 2001
132 Planning for Temporally Extended Goals – Fahiem Bacchus, Froduald Kabanza - 1997
56 Planning with a language for extended goals – Ugo Dal Lago, Marco Pistore, Paolo Traverso