@inproceedings{SWDMC-DASC2024,
        author = "J Tanner Slagel and Lauren M. White and Aaron Dutle and C{\'e}sar A. Mu{\~{n}}oz and Nicolas Crespo",
        title = "A Verification Framework for Runtime Assurance of Autonomous {UAS}",
        booktitle = "Proceedings of the 43rd Digital Avionics Systems 
                     Conference (DASC 2024)",
        address = "San Diego, California, USA",
        month = "September-October",
        year = "2024"
}