Safety in Autonomous Driving: Can Tools Offer Guarantees?

Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia. Safety in Autonomous Driving: Can Tools Offer Guarantees?. In 58th ACM/IEEE Design Automation Conference (DAC), pp. 1311–1314, IEEE, 2021.

Download

[pdf] 

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.

BibTeX

@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.},
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 03, 2022 13:26:52