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

BibTeX Export

@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}
}
29
2
views
downloads
All versions This version
Views 2929
Downloads 22
Data volume 2.0 GB2.0 GB
Unique views 2626
Unique downloads 11
More info on how stats are collected.
Indexed in
Publication date:
April 6, 2022
DOI:
10.5281/zenodo.6418817

Zenodo DOI Badge

DOI 

10.5281/zenodo.6418817

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.6418817.svg)](https://doi.org/10.5281/zenodo.6418817)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.6418817.svg
   :target: https://doi.org/10.5281/zenodo.6418817

HTML 

<a href="https://doi.org/10.5281/zenodo.6418817"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.6418817.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.6418817.svg

Target URL 

https://doi.org/10.5281/zenodo.6418817

Keyword(s):
Machine Learning Formal Verification Autonomous Systems Simplex Neural Networks
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version v1.0.0 10.5281/zenodo.6418817 Apr 6, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.6418816. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export