NASA NTRS · 20205003043
PolySafe: A Formally Verified Algorithm for Conflict Detection on a Polynomial Airspace
Abstract
The source did not provide an abstract. Follow the original record for more information.
Keep this discovery
Explore connections, maps & timelines
Brendon Colbert, Tanner Slagel, Luis Crespo, Swee Balachandran, Cesar Munoz. PolySafe: A Formally Verified Algorithm for Conflict Detection on a Polynomial Airspace. https://ntrs.nasa.gov/citations/20205003043
Cite the original work for its findings. Save a collection to share your selection of sources.