Automating Geometric Proofs of Collision Avoidance with Active Corners

Nishant Kheterpal, Elanor Tang, Jean-Baptiste Jeannin

Avoiding collisions between obstacles and vehicles such as cars, robots or aircraft is essential to the development of automation and autonomy. To simplify the problem, many collis…