kheterpal-2022-automating:
  type: article
  title: Automating Geometric Proofs of Collision Avoidance with Active Corners
  author:
  - Kheterpal, Nishant
  - Tang, Elanor
  - Jeannin, Jean-Baptiste
  date: 2022-07
  serial-number:
    doi: 10.34727/2022/isbn.978-3-85448-053-2_43
  parent:
    type: proceedings