MT*: Multi-Robot Path Planning for Temporal Logic Specifications.
Dhaval GujarathiIndranil SahaPublished in: IROS (2022)
Keyphrases
- path planning
- temporal logic
- multi robot
- concurrent systems
- transition systems
- reactive systems
- bounded model checking
- model checking
- formal specification language
- mobile robot
- multi robot systems
- path planning algorithm
- dynamic environments
- collision avoidance
- formal specification
- multiple robots
- obstacle avoidance
- search and rescue
- motion planning
- multi robot exploration
- potential field
- uncertain environments
- linear temporal logic
- optimal path
- path finding
- degrees of freedom
- robot soccer
- aerial vehicles
- computer vision
- belief revision
- robotic systems
- indoor environments