Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks.

Shuo Yang Xiang Yin Shaoyuan Li Majid Zamani

Published in: CoRR (2020)

Keyphrases

path planning
optimal path
linear temporal logic
mobile robot
path planning algorithm
multiple robots
obstacle avoidance
dynamic environments

multi robot
unmanned aerial vehicles
collision avoidance
path planner
navigation tasks
potential field
dynamic programming

collision free
autonomous navigation
optimal solution
indoor environments
motion planning
path finding
temporal logic

degrees of freedom
robot path planning
dynamic and uncertain environments
search and rescue
robotic systems
model checking
aerial vehicles