Automating Geometric Proofs of Collision Avoidance with Active Corners.

Nishant Kheterpal, Elanor Tang, Jean-Baptiste Jeannin

Browse the full FMCAD paper archive.