Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles.
Rong GuCristina SeceleanuEduard EnoiuKristina LundqvistPublished in: FM (2021)
Keyphrases
- model checking
- collision avoidance
- autonomous vehicles
- path planning
- obstacle avoidance
- mobile robot
- temporal logic
- visual navigation
- dynamic environments
- automated verification
- formal verification
- model checker
- multi robot
- formal specification
- symbolic model checking
- motion planning
- verification method
- formal methods
- bounded model checking
- path finding
- computation tree logic
- optimal path
- degrees of freedom
- alternating time temporal logic
- epistemic logic
- planning domains
- multiagent systems
- dynamic programming
- reinforcement learning