An Interactive System for Multiple-Task Linear Temporal Logic Path Planning.
Yizhou ChenXinyi WangZixuan GuoRuoyu WangXunkuai ZhouGuidong YangShupeng LaiBen M. ChenPublished in: IROS (2023)
Keyphrases
- path planning
- linear temporal logic
- mobile robot
- collision avoidance
- path planning algorithm
- dynamic environments
- multi robot
- obstacle avoidance
- motion planning
- aerial vehicles
- potential field
- optimal path
- path finding
- degrees of freedom
- robot path planning
- temporal logic
- multiple robots
- navigation tasks
- bounded model checking
- path planner
- unmanned aerial vehicles
- autonomous vehicles
- model checking
- dynamic and uncertain environments
- collision free
- configuration space
- simulated annealing