TY  - RPRT
TI  - A Verification Framework for Runtime Assurance of Autonomous UAS
AU  - J Tanner Slagel
AU  - Lauren M. White
AU  - Aaron Dutle
AU  - Cesar A. Munoz
AU  - Nicolas Crespo
UR  - https://ntrs.nasa.gov/citations/20240010429
ID  - 20240010429
ER  -