Formal Verification of Swerving Maneuvers for Car Collision Avoidance. - Aakash Abhishek; Harry Sood; Jean-Baptiste Jeannin (ACC, 2020)

Formal verification of braking while swerving in automobiles. - Aakash Abhishek; Harry Sood; Jean-Baptiste Jeannin (HSCC, 2020)