LTL-Based Planning in Environments With Probabilistic Observations.
Marius KloetzerCristian MahuleaPublished in: IEEE Trans Autom. Sci. Eng. (2015)
Keyphrases
- probabilistic planning
- uncertain environments
- temporal logic
- classical planning
- temporally extended goals
- planning problems
- generative model
- model checking
- goal oriented
- probabilistic model
- dynamic environments
- bayesian networks
- heuristic search
- information theoretic
- posterior probability
- ai planning
- search algorithm
- motion planning
- data sets
- robot teams
- bounded model checking
- probabilistic logic
- computing environments
- data driven
- orders of magnitude