TY  - RPRT
TI  - PolySafe: A Formally Verified Algorithm for Conflict Detection on a Polynomial Airspace
AU  - Brendon Colbert
AU  - Tanner Slagel
AU  - Luis Crespo
AU  - Swee Balachandran
AU  - Cesar Munoz
UR  - https://ntrs.nasa.gov/citations/20205003043
ID  - 20205003043
ER  -