Path Planning for Autonomous Vehicle Turning at Intersections with Signal Temporal Logic Specifications.
Yujin WangZhaoyan HuangShiying DongHongqing ChuXiang YinBingzhao GaoPublished in: ICCAE (2024)
Keyphrases
- temporal logic
- autonomous vehicles
- path planning
- concurrent systems
- transition systems
- model checking
- reactive systems
- bounded model checking
- model checker
- obstacle avoidance
- formal specification language
- mobile robot
- formal specification
- path planning algorithm
- multi robot
- collision avoidance
- motion planning
- dynamic environments
- linear temporal logic
- path finding
- verification method
- autonomous navigation
- formal verification
- multiple robots
- collision free
- optimal path
- degrees of freedom
- dynamic and uncertain environments
- unmanned aerial vehicles
- control flow
- aerial vehicles