Safety in Autonomous Driving: Can Tools Offer Guarantees?

Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Browse the full DAC paper archive.