Automating Geometric Proofs of Collision Avoidance with Active Corners. - Nishant Kheterpal; Elanor Tang; Jean-Baptiste Jeannin (FMCAD, 2022)