Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks.
Shuo YangXiang YinShaoyuan LiMajid ZamaniPublished 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