@misc{indiciae7fc607d59a45,
  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/20230017350},
  note = {Source identifier: 20230017350}
}