Verification of Numeric Planning Problems Through Domain Dynamic Consistency.
Enrico ScalaThomas L. McCluskeyMauro VallatiPublished in: AI*IA (2022)
Keyphrases
- planning problems
- domain independent
- deterministic domains
- heuristic search
- ai planning
- domain specific
- state space
- planning systems
- dynamic environments
- planning domains
- solving planning problems
- model checking
- general purpose
- plan generation
- symbolic model checking
- partially observable markov decision processes
- optimal planning
- probabilistic planning
- planning tasks
- machine learning