Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/corr/abs-2209-01710
%A Bansal, Ayoosh
%A Yu, Simon
%A Kim, Hunmin
%A Li, Bo
%A Hovakimyan, Naira
%A Caccamo, Marco
%A Sha, Lui
%D 2022
%J CoRR
%K dblp
%T Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles.
%U http://dblp.uni-trier.de/db/journals/corr/corr2209.html#abs-2209-01710
%V abs/2209.01710
@article{journals/corr/abs-2209-01710,
added-at = {2023-03-04T00:00:00.000+0100},
author = {Bansal, Ayoosh and Yu, Simon and Kim, Hunmin and Li, Bo and Hovakimyan, Naira and Caccamo, Marco and Sha, Lui},
biburl = {https://www.bibsonomy.org/bibtex/2082ea00218d1af1cddf2725cab5d8d51/dblp},
ee = {https://doi.org/10.48550/arXiv.2209.01710},
interhash = {41312646ede2087c64d0a70d2c6c0d88},
intrahash = {082ea00218d1af1cddf2725cab5d8d51},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-04-09T00:25:49.000+0200},
title = {Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2209.html#abs-2209-01710},
volume = {abs/2209.01710},
year = 2022
}