Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning.
Songtuan LinGregor BehnkePascal BercherPublished in: ECAI (2023)
Keyphrases
- htn planning
- planning domains
- model checking
- data structure
- ai planning
- hierarchical task network
- planning problems
- planning systems
- description language
- domain independent
- orders of magnitude
- bounded model checking
- search strategies
- temporal logic
- partial order planning
- formal verification
- nondeterministic domains
- symbolic model checking
- classical planning
- control knowledge
- action models
- heuristic search
- partially observable
- partial observability
- state space
- domain knowledge