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