Formal Verification of Path Planning Safety and Reachability in Unmanned Surface Vehicles.
Yu LuPan SunShijie ShiMeng LiHuilin GePublished in: ICIC (LNAI 5) (2024)
Keyphrases
- path planning
- formal verification
- autonomous vehicles
- unmanned aerial vehicles
- model checking
- obstacle avoidance
- mobile robot
- ground vehicles
- dynamic environments
- collision avoidance
- path planning algorithm
- automated verification
- model checker
- bounded model checking
- symbolic model checking
- multi robot
- motion planning
- indoor environments
- optimal path
- path finding
- real time
- navigation tasks
- multiple robots
- dynamic and uncertain environments
- traffic accidents
- configuration space
- autonomous navigation
- route planning
- d objects
- robot path planning
- autonomous systems
- potential field
- path planner
- degrees of freedom
- state space
- collision free
- travel time