Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains.
Alessandro CimattiMarco RoveriPaolo TraversoPublished in: AAAI/IAAI (1998)
Keyphrases
- deterministic domains
- planning problems
- symbolic model checking
- reinforcement learning
- nondeterministic domains
- stochastic domains
- domain independent
- state space
- model checking
- heuristic search
- orders of magnitude
- search space
- rule induction
- classical planning
- formal verification
- binary decision diagrams
- search algorithm
- machine learning