Hybrid Planning with Temporally Extended Goals for Sustainable Ocean Observing.
Hui LiBrian WilliamsPublished in: AAAI (2011)
Keyphrases
- temporally extended goals
- temporal logic
- heuristic search
- model checking
- linear temporal logic
- symbolic model checking
- temporally extended
- classical planning
- planning problems
- search space
- search algorithm
- planning domains
- ai planning
- qualitative simulation
- blocks world
- decision theoretic
- domain independent
- dynamic environments
- natural language