Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks.
Shuo YangXiang YinShaoyuan LiMajid ZamaniPublished in: CDC (2020)
Keyphrases
- path planning
- optimal path
- linear temporal logic
- mobile robot
- collision avoidance
- multiple robots
- path planning algorithm
- dynamic environments
- obstacle avoidance
- unmanned aerial vehicles
- multi robot
- degrees of freedom
- robot path planning
- collision free
- dynamic and uncertain environments
- potential field
- motion planning
- temporal logic
- path finding
- indoor environments
- path planner
- autonomous vehicles
- autonomous navigation
- navigation tasks
- aerial vehicles
- autonomous robots
- search and rescue
- particle filter
- domain specific
- np hard