Plan aggregation for strong cyclic planning in nondeterministic domains.
Ronald AlfordUgur KuterDana S. NauRobert P. GoldmanPublished in: Artif. Intell. (2014)
Keyphrases
- planning in nondeterministic domains
- symbolic model checking
- planning problems
- nondeterministic domains
- model checking
- partial observability
- plan recognition
- plan execution
- heuristic search
- planning process
- symbolic representation
- htn planning
- planning domains
- formal verification
- binary decision diagrams
- deterministic domains
- domain independent
- ai planning
- model checker
- decision theoretic
- conformant planning
- state space