@software{patrick_musau_2022_6418817, author = {Patrick Musau and Nathaniel Hamilton and Diego Manzanas Lopez and Preston Robinette and Taylor Johnson}, title = {{An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles}}, month = apr, year = 2022, publisher = {Zenodo}, version = {v1.0.0}, doi = {10.5281/zenodo.6418817}, url = {https://doi.org/10.5281/zenodo.6418817} }