Variable elimination for scalable receding horizon temporal logic planning.
Mattias FältVasumathi RamanRichard M. MurrayPublished in: ACC (2015)
Keyphrases
- temporal logic
- variable elimination
- receding horizon
- temporally extended goals
- model checking
- probabilistic inference
- inference in bayesian networks
- bayesian networks
- temporally extended
- air traffic control
- belief networks
- linear temporal logic
- heuristic search
- optimal linear
- decision support
- symbolic model checking
- motion planning
- planning domains
- belief revision
- planning problems
- formation control
- graph cuts
- search space
- video sequences