Sanjit A. Seshia Dorsa Sadigh S. Shankar Sastry Formal methods for semi-autonomous driving. 148:1-148:5 2015 DAC https://doi.org/10.1145/2744769.2747927 conf/dac/2015 db/conf/dac/dac2015.html#SeshiaSS15