A Hierarchical Task-Network Planner based on Symbolic Model Checking.
Ugur KuterDana S. NauMarco PistorePaolo TraversoPublished in: ICAPS (2005)
Keyphrases
- hierarchical task network
- symbolic model checking
- planning domains
- htn planning
- model checking
- planning systems
- nondeterministic domains
- partial observability
- planning problems
- partial order planning
- ai planning
- temporal constraints
- conformant planning
- orders of magnitude
- description language
- domain independent
- formal verification
- binary decision diagrams
- control knowledge
- partially observable
- model checker
- symbolic representation
- search strategies
- state space
- classical planning
- evolutionary algorithm
- domain specific