Planning for Temporally Extended Goals.
Fahiem BacchusFroduald KabanzaPublished in: AAAI/IAAI, Vol. 2 (1996)
Keyphrases
- temporally extended goals
- temporal logic
- heuristic search
- linear temporal logic
- model checking
- symbolic model checking
- classical planning
- temporally extended
- planning domains
- planning problems
- search algorithm
- ai planning
- domain independent
- search space
- belief revision
- partial observability
- state space
- multi agent
- decision theoretic planning
- optimal solution