Finding and Exploiting LTL Trajectory Constraints in Heuristic Search.
Salomé SimonGabriele RögerPublished in: SOCS (2015)
Keyphrases
- heuristic search
- constraint satisfaction
- search algorithm
- state space
- search space
- classical planning
- search problems
- automated planning
- planning problems
- forward search
- temporal logic
- temporally extended goals
- constraint programming
- path finding
- search strategies
- model checking
- optimal planning
- ai planning
- temporal planning
- heuristic search algorithms