Control in belief space with temporal logic specifications using vision-based localization.
Kevin LeahyEric CristofaloCristian Ioan VasileAustin JonesEduardo MontijanoMac SchwagerCalin BeltaPublished in: Int. J. Robotics Res. (2019)
Keyphrases
- temporal logic
- belief space
- concurrent systems
- model checking
- transition systems
- reactive systems
- model checker
- bounded model checking
- formal specification language
- modal logic
- formal specification
- satisfiability problem
- state space
- partial observability
- linear temporal logic
- planning under uncertainty
- motion planning
- verification method
- belief state
- belief revision
- dynamic environments
- knowledge base
- initial state
- action sequences
- optimal control
- vision system