kheterpal-2026-automatic:
  type: chapter
  title: Automatic Certification of the Active Corner Method for Collision Avoidance
  author:
  - Kheterpal, Nishant
  - Slagel, J. Tanner
  - Tang, Elanor
  - Dane, Serra
  - Jeannin, Jean-Baptiste
  date: 2026
  page-range: 527-548
  url: http://dx.doi.org/10.1007/978-3-032-28079-4_25
  serial-number:
    doi: 10.1007/978-3-032-28079-4_25
    isbn: '9783032280794'
    issn: 1611-3349
  parent:
    type: book
    title: NASA Formal Methods
    publisher: Springer Nature Switzerland