: Multi-Robot Anytime Motion Planning under Signal Temporal Logic Specifications.
Mayank SewliaChristos K. VerginisDimos V. DimarogonasPublished in: CoRR (2023)
Keyphrases
- temporal logic
- multi robot
- motion planning
- concurrent systems
- transition systems
- model checking
- reactive systems
- bounded model checking
- path planning
- model checker
- formal specification language
- mobile robot
- formal specification
- multi robot systems
- multi robot exploration
- obstacle avoidance
- robotic systems
- multiple robots
- formal verification
- verification method
- robot soccer
- linear temporal logic
- potential field
- computation tree logic
- belief space
- robot teams
- multi robot coordination
- real time
- pose estimation
- climbing robot