@inproceedings{kheterpal-2022-automating,
  author = {Nishant Kheterpal and Elanor Tang and Jean-Baptiste Jeannin},
  title = {Automating Geometric Proofs of Collision Avoidance with Active Corners},
  year = {2022},
  month = {7},
  doi = {10.34727/2022/isbn.978-3-85448-053-2_43}
}