STRONG CYCLIC PLANNING REVISITED

Cached

Download Links

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

Documents Related by Co-Citation

87 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
2930 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
1108 Temporal and modal logic – E. Allen Emerson - 1995
202 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
955 Fast Planning Through Planning Graph Analysis – Avrim L. Blum, Merrick L. Furst - 1995
1296 Symbolic Model Checking – K McMillan - 1992
115 Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking – P. Bertoli , A. Cimatti , M. Roveri , P. Traverso - 2001
272 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
125 Conformant Graphplan – D E SMITH, D S WELD - 1998
73 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
47 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
130 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