|
82
|
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains
– A. Cimatti, M. Roveri, P. Traverso
- 1998
|
|
47
|
Strong Planning in Non-Deterministic Domains via Model Checking
– A. Cimatti, Marco Roveri, Paolo Traverso
- 1998
|
|
1009
|
Temporal and modal logic
– E. Allen Emerson
- 1995
|
|
174
|
Planning with Incomplete Information as Heuristic Search in Belief Space
– Blai Bonet, Hector Geffner
- 2000
|
|
1208
|
Symbolic Model Checking
– K L McMillan
- 1993
|
|
54
|
Planning as Model Checking for Extended Goals in Non-Deterministic Domains
– Marco Pistore, Paolo Traverso
- 2001
|
|
2605
|
Graph-based algorithms for Boolean function manipulation
– Randal E. Bryant
- 1986
|
|
852
|
Fast Planning Through Planning Graph Analysis
– Avrim L. Blum, Merrick L. Furst
- 1995
|
|
103
|
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
– P. Bertoli , A. Cimatti , M. Roveri , P. Traverso
- 2001
|
|
239
|
Using Temporal Logics to Express Search Control Knowledge for Planning
– Fahiem Bacchus, Froduald Kabanza
- 1999
|
|
50
|
MBP: a Model Based Planner
– Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso
- 2001
|
|
111
|
Conformant Graphplan
– D E Smith, D S Weld
- 1998
|
|
62
|
Planning via model checking: A decision procedure for AR
– Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Paolo Traverso
- 1997
|
|
66
|
Planning Control Rules for Reactive Agents
– F. Kabanza, M. Barbeau, R St-Denis
- 1997
|
|
40
|
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
|
|
78
|
Planning as model checking
– P Traverso
- 2002
|
|
117
|
Planning for Temporally Extended Goals
– Fahiem Bacchus, Froduald Kabanza
- 1997
|
|
51
|
Planning with a language for extended goals
– Ugo Dal Lago, Marco Pistore, Paolo Traverso
|
