Automating Geometric Proofs of Collision Avoidance.

Nishant Kheterpal, Elanor Tang, and Jean-Baptiste Jeannin.

In Formal Methods in Computer-Aided Design (FMCAD 2022).