NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
PolySafe: A Formally Verified Algorithm for Conflict Detection on a Polynomial Airspace
Document ID
20205003043
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Brendon Colbert
(Langley Research Center Hampton, Virginia, United States)
Tanner Slagel
(Langley Research Center Hampton, Virginia, United States)
Luis Crespo
(Langley Research Center Hampton, Virginia, United States)
Swee Balachandran
(National Institute of Aerospace Hampton, Virginia, United States)
Cesar Munoz
(Langley Research Center Hampton, Virginia, United States)
Date Acquired
June 2, 2020
Subject Category
Air Transportation And Safety
Report/Patent Number
34903
Meeting Information
Meeting: International Federation of Automatic Control 2020
Location: Berlin
Country: DE
Start Date: July 12, 2020
End Date: July 17, 2020
Sponsors: International Federation of Automatic Control
Funding Number(s)
WBS: 340428.02.20.07.01
Distribution Limits
Public
Copyright
Public Use Permitted.
Technical Review
NASA Peer Committee
No Preview Available