End-to-End Path Planning Under Linear Temporal Logic Specifications.
Chaeeun YangSojeong YoonKyunghoon ChoPublished in: IEEE Access (2024)
Keyphrases
- end to end
- path planning
- linear temporal logic
- bounded model checking
- temporal logic
- model checking
- transition systems
- mobile robot
- path planning algorithm
- collision avoidance
- obstacle avoidance
- dynamic environments
- multi robot
- model checker
- concurrent systems
- formal specification
- motion planning
- optimal path
- formal verification
- congestion control
- robot path planning
- reactive systems
- path finding
- path planner
- aerial vehicles
- dynamic and uncertain environments
- potential field
- degrees of freedom
- multiple robots
- unmanned aerial vehicles
- autonomous vehicles
- belief revision
- general purpose