@inproceedings{sadigh2014user,
  title = {User Interface Design and Verification for Semi-Autonomous Driving},
  author = {Sadigh, Dorsa and Driggs-Campbell, Katherine and Bajcsy, Ruzena and Sastry, S. Shankar and Seshia, Sanjit A.},
  booktitle = {Proceedings of the 3rd International Conference on High Confidence Networked Systems ({HiCoNS})},
  pages = {63--64},
  year = {2014},
  month = apr,
  publisher = {ACM},
  doi = {10.1145/2566468.2576851}
}

{"_id":"RazePhCCg48H4gjFy","bibbaseid":"sadigh-driggscampbell-bajcsy-sastry-seshia-userinterfacedesignandverificationforsemiautonomousdriving-2014","author_short":["Sadigh, D.","Driggs-Campbell, K.","Bajcsy, R.","Sastry, S. S.","Seshia, S. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"User Interface Design and Verification for Semi-Autonomous Driving","author":[{"propositions":[],"lastnames":["Sadigh"],"firstnames":["Dorsa"],"suffixes":[]},{"propositions":[],"lastnames":["Driggs-Campbell"],"firstnames":["Katherine"],"suffixes":[]},{"propositions":[],"lastnames":["Bajcsy"],"firstnames":["Ruzena"],"suffixes":[]},{"propositions":[],"lastnames":["Sastry"],"firstnames":["S.","Shankar"],"suffixes":[]},{"propositions":[],"lastnames":["Seshia"],"firstnames":["Sanjit","A."],"suffixes":[]}],"booktitle":"Proceedings of the 3rd International Conference on High Confidence Networked Systems (HiCoNS)","pages":"63–64","year":"2014","month":"April","publisher":"ACM","doi":"10.1145/2566468.2576851","bibtex":"@inproceedings{sadigh2014user,\n title = {User Interface Design and Verification for Semi-Autonomous Driving},\n author = {Sadigh, Dorsa and Driggs-Campbell, Katherine and Bajcsy, Ruzena and Sastry, S. Shankar and Seshia, Sanjit A.},\n booktitle = {Proceedings of the 3rd International Conference on High Confidence Networked Systems ({HiCoNS})},\n pages = {63--64},\n year = {2014},\n month = apr,\n publisher = {ACM},\n doi = {10.1145/2566468.2576851}\n}\n\n","author_short":["Sadigh, D.","Driggs-Campbell, K.","Bajcsy, R.","Sastry, S. S.","Seshia, S. A."],"key":"sadigh2014user","id":"sadigh2014user","bibbaseid":"sadigh-driggscampbell-bajcsy-sastry-seshia-userinterfacedesignandverificationforsemiautonomousdriving-2014","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://aisafety.stanford.edu/bib/all-pubs.bib","dataSources":["Q5m4eREZKA5kKSYST"],"keywords":[],"search_terms":["user","interface","design","verification","semi","autonomous","driving","sadigh","driggs-campbell","bajcsy","sastry","seshia"],"title":"User Interface Design and Verification for Semi-Autonomous Driving","year":2014}