Planning with First-Order Temporally Extended Goals using Heuristic Search.
Jorge A. BaierSheila A. McIlraithPublished in: AAAI (2006)
Keyphrases
- temporally extended goals
- heuristic search
- linear temporal logic
- search algorithm
- planning problems
- state space
- temporal logic
- search space
- automated planning
- path finding
- classical planning
- search strategies
- bidirectional search
- heuristic search algorithms
- state space search
- heuristic function
- admissible heuristics
- probabilistic planning
- pattern databases
- plan quality
- ai planning
- optimal planning
- temporal planning
- temporally extended
- planning domains