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