Formal Verification of Swerving Maneuvers for Car Collision Avoidance.
Aakash AbhishekHarry SoodJean-Baptiste JeanninPublished in: ACC (2020)
Keyphrases
- collision avoidance
- formal verification
- path planning
- model checking
- mobile robot
- dynamic environments
- model checker
- visual navigation
- autonomous vehicles
- automated verification
- symbolic model checking
- bounded model checking
- path finding
- formation control
- obstacle avoidance
- genetic algorithm ga
- expert systems
- artificial intelligence
- motion planning
- decision making