Formal Verification of Swerving Maneuvers for Car Collision Avoidance

摘要

Many road vehicle accidents are the result of collisions with foreign objects, and automatic collision avoidance is of critical interest to car manufacturers and their customers. Previous work on formally verifying collision avoidance maneuvers typically