Planning over Integers: Compilations and Undecidability.
Daniel GnadMalte HelmertPeter JonssonAlexander ShleyfmanPublished in: ICAPS (2023)
Keyphrases
- probabilistic planning
- planning problems
- description logics
- heuristic search
- plan generation
- blocks world
- decision support
- ai planning
- plan recognition
- stochastic domains
- mixed initiative
- software evolution
- motion planning
- search algorithm
- classical planning
- planning systems
- decision theoretic
- domain independent
- open source