@inbook{kheterpal-2026-automatic, title={Automatic Certification of the Active Corner Method for Collision Avoidance}, ISBN={9783032280794}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-032-28079-4_25}, DOI={10.1007/978-3-032-28079-4_25}, booktitle={NASA Formal Methods}, publisher={Springer Nature Switzerland}, author={Kheterpal, Nishant and Slagel, J. Tanner and Tang, Elanor and Dane, Serra and Jeannin, Jean-Baptiste}, year={2026}, pages={527–548} }