Unsolvability Certificates for Classical Planning.
Salomé ErikssonGabriele RögerMalte HelmertPublished in: ICAPS (2017)
Keyphrases
- classical planning
- domain independent
- planning problems
- heuristic search
- state space
- larger problems
- initial state
- ai planning
- planning domains
- temporal planning
- domain specific
- probabilistic planning
- partially observable
- heuristic function
- conformant planning
- sensing actions
- machine learning
- deterministic domains
- planning graph
- data structure