An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles.

Patrick Musau Nathaniel Hamilton Diego Manzanas Lopez Preston Robinette Taylor T. Johnson An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles. 2022 April https://doi.org/10.5281/zenodo.6418817 Zenodo streams/repo/zenodo