{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T01:57:55Z","timestamp":1768874275300,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,4,15]],"date-time":"2014-04-15T00:00:00Z","timestamp":1397520000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-1116993 and CCF-1139138"],"award-info":[{"award-number":["CCF-1116993 and CCF-1139138"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,4,15]]},"DOI":"10.1145\/2566468.2576851","type":"proceedings-article","created":{"date-parts":[[2014,4,15]],"date-time":"2014-04-15T17:50:38Z","timestamp":1397584238000},"page":"63-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["User interface design and verification for semi-autonomous driving"],"prefix":"10.1145","author":[{"given":"Dorsa","family":"Sadigh","sequence":"first","affiliation":[{"name":"University of California at Berkeley, Berkeley, CA, USA"}]},{"given":"Katherine","family":"Driggs-Campbell","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, Berkeley, CA, USA"}]},{"given":"Ruzena","family":"Bajcsy","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, Berkeley, CA, USA"}]},{"given":"S. Shankar","family":"Sastry","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, Berkeley, CA, USA"}]},{"given":"Sanjit","family":"Seshia","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, Berkeley, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2014,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Innovations for Safety: Opportunities and Challenges","author":"Coelingh E.","year":"2007","unstructured":"E. Coelingh Collision Warning with Auto Brake: a Real-Life Safety Perspective . In Innovations for Safety: Opportunities and Challenges , 2007 . E. Coelingh et al. Collision Warning with Auto Brake: a Real-Life Safety Perspective. In Innovations for Safety: Opportunities and Challenges, 2007."},{"key":"e_1_3_2_1_2_1","volume-title":"January","author":"K.","year":"2014","unstructured":"K. Driggs-Campbell et al. Experimental design for human-in-the-loop driving simulations. Available on arXiv , January 2014 . K. Driggs-Campbell et al. Experimental design for human-in-the-loop driving simulations. Available on arXiv, January 2014."},{"key":"e_1_3_2_1_3_1","volume-title":"Formal Verification and Modeling in Human-Machine Systems (AAAI Spring Symposium), in review.","author":"Sadigh D.","unstructured":"D. Sadigh Data-driven probabilistic modeling and verification of human driver behavior . In Formal Verification and Modeling in Human-Machine Systems (AAAI Spring Symposium), in review. D. Sadigh et al. Data-driven probabilistic modeling and verification of human driver behavior. In Formal Verification and Modeling in Human-Machine Systems (AAAI Spring Symposium), in review."},{"key":"e_1_3_2_1_4_1","author":"Shia V.","unstructured":"V. Shia Driver modeling for semi-autonomous vehicular control. IEEE Transactions on Intelligent Transportation Systems, in review. V. Shia et al. Driver modeling for semi-autonomous vehicular control. IEEE Transactions on Intelligent Transportation Systems, in review.","journal-title":"Driver modeling for semi-autonomous vehicular control. IEEE Transactions on Intelligent Transportation Systems, in review."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653719"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315654"}],"event":{"name":"HiCoNS '14: 3rd International Conference on High Confidence Networked Systems","location":"Berlin Germany","acronym":"HiCoNS '14","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 3rd international conference on High confidence networked systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2566468.2576851","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2566468.2576851","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:59Z","timestamp":1750230059000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2566468.2576851"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,15]]},"references-count":6,"alternative-id":["10.1145\/2566468.2576851","10.1145\/2566468"],"URL":"https:\/\/doi.org\/10.1145\/2566468.2576851","relation":{},"subject":[],"published":{"date-parts":[[2014,4,15]]},"assertion":[{"value":"2014-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}