%0 Journal Article %1 journals/corr/abs-2104-06178 %A Jackson, Daniel %A Richmond, Valerie %A Wang, Mike %A Chow, Jeff %A Guajardo, Uriel %A Kong, Soonho %A Campos, Sergio %A Litt, Geoffrey %A Aréchiga, Nikos %D 2021 %J CoRR %K dblp %T Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles. %U http://dblp.uni-trier.de/db/journals/corr/corr2104.html#abs-2104-06178 %V abs/2104.06178

@article{journals/corr/abs-2104-06178, added-at = {2021-04-19T00:00:00.000+0200}, author = {Jackson, Daniel and Richmond, Valerie and Wang, Mike and Chow, Jeff and Guajardo, Uriel and Kong, Soonho and Campos, Sergio and Litt, Geoffrey and Aréchiga, Nikos}, biburl = {https://www.bibsonomy.org/bibtex/2267fa8b3788705bf733b6ffa4a93ba38/dblp}, ee = {https://arxiv.org/abs/2104.06178}, interhash = {96ba1c3e249754e357ee567f492c06e8}, intrahash = {267fa8b3788705bf733b6ffa4a93ba38}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:45:42.000+0200}, title = {Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2104.html#abs-2104-06178}, volume = {abs/2104.06178}, year = 2021 }