Keyphrases
- dynamic environments
- plan execution
- belief space
- autonomous agents
- path planning
- collision free
- single agent
- classical planning
- mobile robot
- changing environment
- model checking
- temporal logic
- collision avoidance
- potential field
- motion planning
- temporally extended goals
- planning problems
- autonomous systems
- heuristic search
- linear temporal logic
- real environment
- deterministic automata