NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Press Enter or click the Search button to begin your search.

Back to Results
Formal Methods for Unmanned Aircraft Systems
Document ID
20210018539
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Aaron Dutle
(Langley Research Center Hampton, Virginia, United States)
Date Acquired
July 12, 2021
Subject Category
Aeronautics (General)
Meeting Information
Meeting: Leipzig Symposium on Intelligent Systems
Location: Virtual
Country: US
Start Date: July 22, 2021
End Date: July 22, 2021
Sponsors: Lancaster University
Funding Number(s)
WBS: 340428.02.20.07.01
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Technical Review
Single Expert
Keywords
Formal Methods
Unmanned aircraft
autonomous systems
No Preview Available