Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications.
Mohit SrinivasanSamuel CooganPublished in: IEEE Trans. Robotics (2021)
Keyphrases
- temporal logic
- mobile robot
- concurrent systems
- model checking
- transition systems
- reactive systems
- model checker
- bounded model checking
- formal specification language
- modal logic
- autonomous robots
- motion control
- satisfiability problem
- robot control
- formal specification
- linear temporal logic
- robotic systems
- control system
- formal verification
- temporal knowledge
- computation tree logic
- mazurkiewicz traces
- predicate logic
- verification method
- dynamic programming
- symbolic model checking
- temporal reasoning
- belief revision