{"_id":"jHTG45Nk6ky4kx6KT","bibbaseid":"seshia-sadigh-sastry-formalmethodsforsemiautonomousdriving-2015","downloads":0,"creationDate":"2018-08-15T00:39:25.521Z","title":"Formal Methods for Semi-Autonomous Driving","author_short":["Seshia, S. A.","Sadigh, D.","Sastry, S. S."],"year":2015,"bibtype":"inproceedings","biburl":"http://aisafety.stanford.edu/bib/all-pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal Methods for Semi-Autonomous Driving","author":[{"propositions":[],"lastnames":["Seshia"],"firstnames":["Sanjit","A."],"suffixes":[]},{"propositions":[],"lastnames":["Sadigh"],"firstnames":["Dorsa"],"suffixes":[]},{"propositions":[],"lastnames":["Sastry"],"firstnames":["S.","Shankar"],"suffixes":[]}],"booktitle":"Proceedings of the Design Automation Conference (DAC)","pages":"1–5","year":"2015","month":"June","publisher":"ACM","doi":"10.1145/2744769.2747927","bibtex":"@inproceedings{seshia2015formal,\n title = {Formal Methods for Semi-Autonomous Driving},\n author = {Seshia, Sanjit A. and Sadigh, Dorsa and Sastry, S. Shankar},\n booktitle = {Proceedings of the Design Automation Conference ({DAC})},\n pages = {1--5},\n year = {2015},\n month = jun,\n publisher = {ACM},\n doi = {10.1145/2744769.2747927}\n}\n\n","author_short":["Seshia, S. A.","Sadigh, D.","Sastry, S. S."],"key":"seshia2015formal","id":"seshia2015formal","bibbaseid":"seshia-sadigh-sastry-formalmethodsforsemiautonomousdriving-2015","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"search_terms":["formal","methods","semi","autonomous","driving","seshia","sadigh","sastry"],"keywords":[],"authorIDs":[],"dataSources":["Q5m4eREZKA5kKSYST","YCBcQPneB9oxahSnp"]}