Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints.
Peter BaumgartnerSylvie ThiébauxFelipe W. TrevizanPublished in: KR (2018)
Keyphrases
- heuristic search
- multi objective
- temporally extended goals
- constraint satisfaction
- probabilistic planning
- classical planning
- planning problems
- automated planning
- state space
- search space
- ai planning
- search algorithm
- temporal planning
- optimal planning
- optimization algorithm
- evolutionary algorithm
- heuristic search algorithms
- temporal logic
- forward search
- plan quality
- state space search
- bidirectional search
- path finding
- model checking
- beam search
- search problems
- heuristic function
- decision theoretic planning
- linear temporal logic
- search strategies
- planning graph
- pattern databases
- genetic algorithm