@inproceedings{sadigh2014data,
  title = {Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior},
  author = {Sadigh, Dorsa and Driggs-Campbell, Katherine and Puggelli, Alberto and Li, Wenchao and Shia, Victor and Bajcsy, Ruzena and Sangiovanni-Vincentelli, Alberto L. and Sastry, S. Shankar and Seshia, Sanjit A.},
  booktitle = {Proceedings of the {AAAI} Spring Symposium on Formal Verification and Modeling in Human-Machine Systems},
  year = {2014},
  month = mar,
  publisher = {AAAI}
}

{"_id":"hqmKMdixAaoWBPcaC","bibbaseid":"sadigh-driggscampbell-puggelli-li-shia-bajcsy-sangiovannivincentelli-sastry-etal-datadrivenprobabilisticmodelingandverificationofhumandriverbehavior-2014","author_short":["Sadigh, D.","Driggs-Campbell, K.","Puggelli, A.","Li, W.","Shia, V.","Bajcsy, R.","Sangiovanni-Vincentelli, A. L.","Sastry, S. S.","Seshia, S. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior","author":[{"propositions":[],"lastnames":["Sadigh"],"firstnames":["Dorsa"],"suffixes":[]},{"propositions":[],"lastnames":["Driggs-Campbell"],"firstnames":["Katherine"],"suffixes":[]},{"propositions":[],"lastnames":["Puggelli"],"firstnames":["Alberto"],"suffixes":[]},{"propositions":[],"lastnames":["Li"],"firstnames":["Wenchao"],"suffixes":[]},{"propositions":[],"lastnames":["Shia"],"firstnames":["Victor"],"suffixes":[]},{"propositions":[],"lastnames":["Bajcsy"],"firstnames":["Ruzena"],"suffixes":[]},{"propositions":[],"lastnames":["Sangiovanni-Vincentelli"],"firstnames":["Alberto","L."],"suffixes":[]},{"propositions":[],"lastnames":["Sastry"],"firstnames":["S.","Shankar"],"suffixes":[]},{"propositions":[],"lastnames":["Seshia"],"firstnames":["Sanjit","A."],"suffixes":[]}],"booktitle":"Proceedings of the AAAI Spring Symposium on Formal Verification and Modeling in Human-Machine Systems","year":"2014","month":"March","publisher":"AAAI","bibtex":"@inproceedings{sadigh2014data,\n title = {Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior},\n author = {Sadigh, Dorsa and Driggs-Campbell, Katherine and Puggelli, Alberto and Li, Wenchao and Shia, Victor and Bajcsy, Ruzena and Sangiovanni-Vincentelli, Alberto L. and Sastry, S. Shankar and Seshia, Sanjit A.},\n booktitle = {Proceedings of the {AAAI} Spring Symposium on Formal Verification and Modeling in Human-Machine Systems},\n year = {2014},\n month = mar,\n publisher = {AAAI}\n}\n\n","author_short":["Sadigh, D.","Driggs-Campbell, K.","Puggelli, A.","Li, W.","Shia, V.","Bajcsy, R.","Sangiovanni-Vincentelli, A. L.","Sastry, S. S.","Seshia, S. A."],"key":"sadigh2014data","id":"sadigh2014data","bibbaseid":"sadigh-driggscampbell-puggelli-li-shia-bajcsy-sangiovannivincentelli-sastry-etal-datadrivenprobabilisticmodelingandverificationofhumandriverbehavior-2014","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://aisafety.stanford.edu/bib/all-pubs.bib","dataSources":["Q5m4eREZKA5kKSYST"],"keywords":[],"search_terms":["data","driven","probabilistic","modeling","verification","human","driver","behavior","sadigh","driggs-campbell","puggelli","li","shia","bajcsy","sangiovanni-vincentelli","sastry","seshia"],"title":"Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior","year":2014}