A Formal Verification Framework for Runtime Assurance. - J. Tanner Slagel; Lauren M. White; Aaron Dutle; César A. Muñoz; Nicolas Crespo (NFM, 2024)