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