@InProceedings{SWDMC2024NFM,
author="Slagel, J. Tanner
and White, Lauren M.
and Dutle, Aaron
and Mu{\~{n}}oz, C{\'e}sar A.
and Crespo, Nicolas",
editor="Benz, Nathaniel
and Gopinath, Divya
and Shi, Nija",
title="A Formal Verification Framework for Runtime Assurance",
booktitle="Proceedings of the 16th NASA Formal Methods Symposium (NFM 2024)",
series="Lecture Notes in Computer Science",
volume="14627",
year="2024",
publisher="Springer Nature Switzerland",
address="Cham",
pages="322--328",
url="https://doi.org/10.1007/978-3-031-60698-4_19",
doi="10.1007/978-3-031-60698-4_19",
isbn="978-3-031-60698-4"
}