Keyphrases
- partial observability
- planning problems
- symbolic model checking
- classical planning
- belief space
- planning under partial observability
- partially observable
- multi agent planning
- planning domains
- fully observable
- belief state
- state space
- reinforcement learning
- heuristic search
- partially observable markov decision processes
- ai planning
- search algorithm
- sat solvers
- domain independent
- htn planning
- motion planning
- optimal solution
- machine learning
- dynamical systems
- markov decision process
- dynamic environments
- planning systems
- domain specific
- search strategy
- markov decision processes