MT* : Multi-Robot Path Planning for Temporal Logic Specifications.

Dhaval Gujarathi Indranil Saha

Published 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