%0 Conference Paper %1 conf/dac/FremontSS21 %A Fremont, Daniel J. %A Sangiovanni-Vincentelli, Alberto L. %A Seshia, Sanjit A. %B DAC %D 2021 %I IEEE %K dblp %P 1311-1314 %T Safety in Autonomous Driving: Can Tools Offer Guarantees? %U http://dblp.uni-trier.de/db/conf/dac/dac2021.html#FremontSS21 %@ 978-1-6654-3274-0

@inproceedings{conf/dac/FremontSS21, added-at = {2022-12-07T00:00:00.000+0100}, author = {Fremont, Daniel J. and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/273f9ee166ae3fe057f8ca60b933b56dd/dblp}, booktitle = {DAC}, crossref = {conf/dac/2021}, ee = {https://doi.org/10.1109/DAC18074.2021.9586292}, interhash = {eed6c8db4f9856d3b6ebb996adce97f9}, intrahash = {73f9ee166ae3fe057f8ca60b933b56dd}, isbn = {978-1-6654-3274-0}, keywords = {dblp}, pages = {1311-1314}, publisher = {IEEE}, timestamp = {2024-04-10T01:57:41.000+0200}, title = {Safety in Autonomous Driving: Can Tools Offer Guarantees?}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2021.html#FremontSS21}, year = 2021 }