Progression Heuristics for Planning with Probabilistic LTL Constraints.
Ian MallettSylvie ThiébauxFelipe W. TrevizanPublished in: AAAI (2021)
Keyphrases
- heuristic search
- classical planning
- planning problems
- temporally extended goals
- model checking
- probabilistic planning
- heuristic function
- planning systems
- planning tasks
- domain independent planning
- motion planning
- linear constraints
- optimal planning
- temporal logic
- probabilistic model
- generative model
- forward search
- resource constraints
- planning process
- linear temporal logic
- bounded model checking
- partial solutions
- planning domains
- bayesian networks
- global constraints
- constrained optimization
- uncertain data
- search strategies
- linear programming
- state space
- search algorithm