Software Open Access
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 Johnson
GeoJSON Export
{
"type": "FeatureCollection",
"features": []
}
29
2
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 29 | 29 |
| Downloads | 2 | 2 |
| Data volume | 2.0 GB | 2.0 GB |
| Unique views | 26 | 26 |
| Unique downloads | 1 | 1 |
Indexed in
- Publication date:
- April 6, 2022
- DOI:
-
- Keyword(s):
- Machine Learning Formal Verification Autonomous Systems Simplex Neural Networks
- License (for files):
- Creative Commons Attribution 4.0 International