@inproceedings{corso2020interpretable,
    title={Interpretable safety validation for autonomous vehicles},
    author={Anthony Corso and Kochenderfer, Mykel J},
    booktitle=itsc,
    year={2020},
    doi = {10.1109/ITSC45102.2020.9294490},
    url = {https://arxiv.org/abs/2004.06805},
}

{"_id":"NCKXtvsy95BYGeafb","bibbaseid":"corso-kochenderfer-interpretablesafetyvalidationforautonomousvehicles-2020","author_short":["Corso, A.","Kochenderfer, M. J"],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Interpretable safety validation for autonomous vehicles","author":[{"firstnames":["Anthony"],"propositions":[],"lastnames":["Corso"],"suffixes":[]},{"propositions":[],"lastnames":["Kochenderfer"],"firstnames":["Mykel","J"],"suffixes":[]}],"booktitle":"IEEE International Conference on Intelligent Transportation Systems (ITSC)","year":"2020","doi":"10.1109/ITSC45102.2020.9294490","url":"https://arxiv.org/abs/2004.06805","bibtex":"@inproceedings{corso2020interpretable,\n title={Interpretable safety validation for autonomous vehicles},\n author={Anthony Corso and Kochenderfer, Mykel J},\n booktitle=itsc,\n year={2020},\n doi = {10.1109/ITSC45102.2020.9294490},\n url = {https://arxiv.org/abs/2004.06805},\n}\n\n","author_short":["Corso, A.","Kochenderfer, M. J"],"key":"corso2020interpretable","id":"corso2020interpretable","bibbaseid":"corso-kochenderfer-interpretablesafetyvalidationforautonomousvehicles-2020","role":"author","urls":{"Paper":"https://arxiv.org/abs/2004.06805"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"https://ancorso.github.io/files/references.bib","dataSources":["TbX42SDTQr5unfHC4","mSsYghgSmyfbF75po","L6He8KnRF8BusNwKm","bdnWRMC3puq7qTm42"],"keywords":[],"search_terms":["interpretable","safety","validation","autonomous","vehicles","corso","kochenderfer"],"title":"Interpretable safety validation for autonomous vehicles","year":2020,"downloads":1}