@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{fremont-dac21,
  author    = {Daniel J. Fremont and
               Alberto L. Sangiovanni{-}Vincentelli and
               Sanjit A. Seshia},
  title     = {Safety in Autonomous Driving: Can Tools Offer Guarantees?},
  booktitle = {58th {ACM/IEEE} Design Automation Conference (DAC)},
  pages     = {1311--1314},
  publisher = {{IEEE}},
  year      = {2021},
  abstract  = {Persistent challenges in making autonomous vehicles safe and reliable have hampered their widespread deployment. We believe that formal methods will play an essential role in the enterprise of ensuring AV safety by providing tools for the modeling, verification, synthesis, and runtime assurance of AV systems. In this paper, we outline the progress we and others have made towards this goal, and the challenges that remain.},
}