Sequential control barrier functions for mobile robots with dynamic temporal logic specifications.
Ali Tevfik BuyukkocakDerya AksarayYasin YaziciogluPublished in: Robotics Auton. Syst. (2024)
Keyphrases
- temporal logic
- mobile robot
- concurrent systems
- model checking
- dynamic constraints
- transition systems
- dynamic environments
- bounded model checking
- model checker
- reactive systems
- formal specification language
- modal logic
- path planning
- formal specification
- motion control
- formal verification
- robot control
- autonomous robots
- linear temporal logic
- computation tree logic
- robotic systems
- belief revision
- control system
- verification method
- multi robot
- satisfiability problem
- motion planning
- inference rules
- data exchange
- mazurkiewicz traces