Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces.
Sofie HaesaertRohan ThakkerPetter NilssonAli-Akbar Agha-MohammadiRichard M. MurrayPublished in: CDC (2019)
Keyphrases
- uncertain environments
- temporal logic
- belief revision
- model checking
- autonomous systems
- multi robot
- modal logic
- modal operators
- satisfiability problem
- probability theory
- concurrent systems
- verification method
- mazurkiewicz traces
- linear temporal logic
- computation tree logic
- transition systems
- temporal knowledge
- temporally extended
- temporally extended goals
- situation awareness
- behavior recognition
- dynamic constraints
- bounded model checking
- decision support
- formal specification language
- automata theoretic
- reactive systems
- mobile robot
- belief functions
- formal specification
- multi agent