Keyphrases
- temporal logic
- temporally extended goals
- classical planning
- planning problems
- linear temporal logic
- heuristic search
- mission planning
- model checking
- action selection
- bounded model checking
- ai planning
- real world
- production planning
- motion planning
- domain independent
- decision support
- mixed initiative
- blocks world
- stochastic domains
- linear time temporal logic
- domain specific