NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

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

Back to Results
A Verification Framework for Runtime Assurance of Autonomous UAS
Document ID
20240010429
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
J Tanner Slagel (Langley Research Center Hampton, United States)
Lauren M. White (Langley Research Center Hampton, United States)
Aaron Dutle (Langley Research Center Hampton, United States)
Cesar A. Munoz (Langley Research Center Hampton, United States)
Nicolas Crespo (LaRC Governor's School)
Date Acquired
August 12, 2024
Subject Category
Mathematical and Computer Sciences (General)
Meeting Information
Meeting: 43rd Digital Avionics Systems Conference (DASC)
Location: San Diego, CA
Country: US
Start Date: September 29, 2024
End Date: October 3, 2024
Sponsors: American Institute of Aeronautics and Astronautics
Funding Number(s)
WBS: 340428.02.60.07.01
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
Single Expert
Keywords
PVS
Runtime Assurnace
Hybrid Programs
Plaidypvs

Related Records

There are no records associated with this record.
No Preview Available