@misc{indiciae28b3ba4afd2a,
  title = {PolySafe: A Formally Verified Algorithm for Conflict Detection on a Polynomial Airspace},
  author = {Brendon Colbert and Tanner Slagel and Luis Crespo and Swee Balachandran and Cesar Munoz},
  url = {https://ntrs.nasa.gov/citations/20205003043},
  note = {Source identifier: 20205003043}
}