NTRS
NTRS - NASA Technical Reports Server
Search
more_vert
Collections
About
News
Help
Login
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
Available Downloads
Name
Type
IFAC_Presentation_2.pptx
STI
cloud_download
content_copy
visibility
Related Records
There are no records associated with this record.
visibility_off
No Preview Available