Compiling HTN Plan Verification Problems into HTN Planning Problems.
Daniel HöllerJulia WichlaczPascal BercherGregor BehnkePublished in: ICAPS (2022)
Keyphrases
- planning problems
- planning systems
- planning domains
- classical planning
- htn planning
- planning in nondeterministic domains
- probabilistic planning
- ai planning
- domain independent planning
- solving planning problems
- planning tasks
- domain independent
- hierarchical task network
- partial observability
- heuristic search
- plan generation
- deterministic domains
- nondeterministic domains
- state space
- stochastic domains
- orders of magnitude
- conformant planning
- causal graph
- sat encodings
- planning process
- planning graph
- control knowledge
- fully observable
- model checking
- search space
- sensing actions
- model checker
- partial order planning
- temporal planning
- optimal planning
- learning algorithm
- binary decision diagrams
- partially observable markov decision processes
- search algorithm