[ACM Press the 52nd Annual Design Automation Conference - San Francisco, California (2015.06.07-2015.06.11)] Proceedings of the 52nd Annual Design Automation Conference on - DAC '15 - Formal methods for semi-autonomous driving
Seshia, Sanjit A., Sadigh, Dorsa, Sastry, S. ShankarYear:
2015
Language:
english
DOI:
10.1145/2744769.2747927
File:
PDF, 224 KB
english, 2015