{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T10:43:32Z","timestamp":1749552212337},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/socc.2016.7905511","type":"proceedings-article","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T21:13:47Z","timestamp":1493068427000},"page":"362-367","source":"Crossref","is-referenced-by-count":11,"title":["Quantifying trust in autonomous system under uncertainties"],"prefix":"10.1109","author":[{"given":"Raj Gautam","family":"Dutta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaolong","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yier","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Remote attacks on automated vehicles sensors: Experiments on camera and lidar","author":"petit","year":"2015","journal-title":"Black Hat Europe'06"},{"key":"ref11","article-title":"Remote exploitation of an unaltered passenger vehicle","author":"miller","year":"2015","journal-title":"DefCon"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813679"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2005.849725"},{"key":"ref14","article-title":"How do google's self-driving cars work?","author":"hood","year":"2016","journal-title":"Alphr"},{"key":"ref15","article-title":"Scalable electronics driving autonomous vehicle technologies","author":"mujica","year":"2014","journal-title":"Texas Instrument"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2004.04.002"},{"key":"ref17","first-page":"42","article-title":"FM 2011: Formal Methods: 17th International Symposium on Formal Methods","author":"loos","year":"0","journal-title":"Proceedings ch Adaptive Cruise Control Hybrid Distributed and Now Formally Verified"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2331147.2331163"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2010.5548121"},{"journal-title":"United States Air Force","article-title":"Autonomous horizons: System autonomy in the air force - a path to the future","year":"2015","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185665"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.12.008"},{"key":"ref6","article-title":"Proof-of-concept carshark software hacks car computers, shutting down brakes, engines, and more","author":"boyle","year":"2010","journal-title":"Popular Science"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.34"},{"key":"ref8","article-title":"Covert control of surface vessels via counterfeit civil gps signals","author":"bhatti","year":"2014","journal-title":"University of Texas unpublished"},{"key":"ref7","article-title":"Comprehensive experimental analyses of automotive attack surfaces","author":"checkoway","year":"0","journal-title":"20th USENIX Security Symposium"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1518\/hfes.46.1.50.30392"},{"key":"ref9","first-page":"55","article-title":"Non-invasive spoofing attacks for anti-lock braking systems","author":"shoukry","year":"2013","journal-title":"CHES'13"},{"journal-title":"DARPA","article-title":"Darpa urban challenge","year":"2007","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747920"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2566468.2566483"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744906"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31912-9_20"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2303233"},{"key":"ref26","first-page":"80","author":"david","year":"2011","journal-title":"Statistical Model Checking for Networks of Priced Timed Automata"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.02.002"}],"event":{"name":"2016 29th IEEE International System-on-Chip Conference (SOCC)","start":{"date-parts":[[2016,9,6]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2016,9,9]]}},"container-title":["2016 29th IEEE International System-on-Chip Conference (SOCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7897353\/7905397\/07905511.pdf?arnumber=7905511","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T03:43:34Z","timestamp":1507002214000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7905511\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/socc.2016.7905511","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}