TY  - RPRT
TI  - Automating Geometric Proofs of Collision Avoidance with Active Corners
AU  - Nishant Kheterpal
AU  - Elanor Tang
AU  - Jean-Baptiste Jeannin
PY  - 2022
UR  - https://arxiv.org/abs/2207.07259
ID  - 2207.07259
ER  -