@misc{indiciaef6539e4ac427,
  title = {A Formal Verification Framework for Runtime Assurance},
  author = {J. Tanner Slagel and Lauren M. White and Aaron Dutle and Cesar A. Munoz and Nicolas Crespo},
  url = {https://ntrs.nasa.gov/citations/20240006522},
  note = {Source identifier: 20240006522}
}