Automata-Theoretic Approach to Planning for Temporally Extended Goals.
Giuseppe De GiacomoMoshe Y. VardiPublished in: ECP (1999)
Keyphrases
- temporally extended goals
- temporal logic
- heuristic search
- model checking
- symbolic model checking
- linear temporal logic
- temporally extended
- classical planning
- finite state
- domain independent
- state space
- formal specification
- finite automata
- partial observability
- decision theoretic planning
- general purpose
- search space
- video sequences
- formal verification
- linear programming