{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T03:29:28Z","timestamp":1783740568956,"version":"3.55.0"},"reference-count":168,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Veh."],"published-print":{"date-parts":[[2023,1]]},"DOI":"10.1109\/tiv.2022.3170517","type":"journal-article","created":{"date-parts":[[2022,5,4]],"date-time":"2022-05-04T20:00:34Z","timestamp":1651694434000},"page":"232-249","source":"Crossref","is-referenced-by-count":57,"title":["Formal Certification Methods for Automated Vehicle Safety Assessment"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3979-1404","authenticated-orcid":false,"given":"Tong","family":"Zhao","sequence":"first","affiliation":[{"name":"Department of Mechanical and Aerospace Engineering, The Ohio State University, Columbus, OH, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3103-6052","authenticated-orcid":false,"given":"Ekim","family":"Yurtsever","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, The Ohio State University, Columbus, OH, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1518-7985","authenticated-orcid":false,"given":"Joel A.","family":"Paulson","sequence":"additional","affiliation":[{"name":"Department of Chemical and Biomolecular Engineering, The Ohio State University, Columbus, OH, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8397-7241","authenticated-orcid":false,"given":"Giorgio","family":"Rizzoni","sequence":"additional","affiliation":[{"name":"Department of Mechanical and Aerospace Engineering, The Ohio State University, Columbus, OH, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.236"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2022.3157049"},{"key":"ref3","article-title":"Kba erteilt erste genehmigung zum automatisierten fahren","author":"Immen","year":"2022"},{"key":"ref4","article-title":"Honda wins world-first approval for level 3 autonomous car","year":"2022"},{"key":"ref5","volume-title":"Autonomous Vehicle Implementation Predictions","author":"Litman","year":"2017"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1093\/ijpor\/edab001"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.61322\/XWUI2081"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2983149"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2016.2583491"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-34843-4_15"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1155\/2020\/8867757"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/AITEST49225.2020.00011"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1080\/15472450.2020.1738231"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2993730"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3433637"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2021.3136353"},{"key":"ref17","article-title":"A survey on safety-critical scenario generation for autonomous driving - A methodological perspective","author":"Ding","year":"2022","journal-title":"arXiv:2202.02215[cs.RO]"},{"key":"ref18","article-title":"Germany will be the world leader in autonomous driving","year":"2022"},{"key":"ref19","first-page":"34","article-title":"Uniform provisions concerning the approval of vehicles with regard to automated lane keeping systems","author":"Europe","year":"2021"},{"key":"ref20","first-page":"581","article-title":"Signal temporal logic meets Hamilton-Jacobi reachability: Connections and applications","volume-title":"Proc. Int. Workshop Algorithmic Found. Robot.","author":"Chen","year":"2018"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920950795"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2021.3117049"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.4271\/j3216_202005"},{"key":"ref24","article-title":"U.S. clears way for truly driverless vehicles without steering wheels","author":"Wayland","year":"2022"},{"key":"ref25","article-title":"DMV approves nuro to use autonomous vehicles for commercial service","author":"Capperella","year":"2021"},{"key":"ref26","article-title":"DMV approves cruise and waymo to use autonomous vehicles for commercial service in designated parts of bay area","year":"2022"},{"key":"ref27","article-title":"Level 3-autonomous driving regulation finally coming after 3 years of delay","year":"2022"},{"key":"ref28","article-title":"Bundestag nimmt gesetz zum autonomen fahren an","author":"Schmid","year":"2022"},{"key":"ref29","article-title":"Germany gives greenlight to driverless vehicles on public roads","author":"Bellan","year":"2022"},{"key":"ref30","article-title":"Mercedes drive pilot level 3 autonomous system to launch in Germany","author":"Capperella","year":"2022"},{"key":"ref31","article-title":"Self-driving vehicles to become legal in UK in 2021","author":"Stone","year":"2022"},{"key":"ref32","article-title":"Self-driving cars could be legal by spring 2022","author":"Moss","year":"2022"},{"key":"ref33","article-title":"Chinas legislation on autonomous cars rolls out","author":"Mallesons","year":"2022"},{"key":"ref34","article-title":"China rolls out autonomous driving standards as carmakers work towards making self-driving a reality","author":"Feng","year":"2022"},{"key":"ref35","article-title":"Baidu, pony.ai approved for robotaxi services in beijing","author":"Goh","year":"2022"},{"key":"ref36","article-title":"Germany will be the world leader in autonomous driving","author":"Roberts","year":"2022"},{"key":"ref37","article-title":"Japan to create legal framework for level 4 self-driving cars","author":"writers","year":"2022"},{"key":"ref38","article-title":"Demonstration test to be launched for evaluation of unmanned last-mile autonomous driving in wajima city to achieve mobility revolution","year":"2022"},{"key":"ref39","article-title":"Level 3 autonomous cars become legal in Korea from july","author":"Lee","year":"2022"},{"key":"ref40","article-title":"Korean government announces safety standards for level 3 automated vehicles","author":"Jung","year":"2022"},{"key":"ref41","article-title":"Advanced driver assistance: Autonomous vehicle laws","year":"2022"},{"key":"ref42","article-title":"Waymo, cruise seek permits to charge for autonomous car rides in san francisco","author":"Jin","year":"2022"},{"key":"ref43","article-title":"Alphabets waymo and gms cruise get california DMV approval to run commercial autonomous car services","author":"Subin","year":"2022"},{"key":"ref44","article-title":"California issues permits to cruise, waymo for autonomous vehicle service","author":"Shepardson","year":"2022"},{"key":"ref45","first-page":"1","article-title":"Prometheus-the european research programme for optimising the road transport system in Europe","volume-title":"Proc. IEE Colloq. Driver Inf.","author":"Williams","year":"1988"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.888394"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.trip.2020.100133"},{"key":"ref48","article-title":"Critical reasons for crashes investigated in the national motor vehicle crash causation survey","author":"Administration","year":"2022","journal-title":"NHTSAs Nat. Center Statist. Anal."},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.tra.2016.09.010"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2022.3154489"},{"key":"ref51","year":"2018","journal-title":"Road VehiclesFunctional SafetyPart 1: Vocabulary"},{"key":"ref52","year":"2019","journal-title":"Road vehiclesSafety of the Intended Functionality"},{"key":"ref53","article-title":"Disengagement reports","author":"DMV","year":"2021"},{"key":"ref54","article-title":"Mercedes to accept liability for accidents involving its new self driving tech","author":"Kotoulas","year":"2022"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.319"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8917534"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2016.07.709"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569326"},{"key":"ref59","article-title":"On a formal model of safe and scalable self-driving cars","volume-title":"arXiv:1708.06374[cs.Ro]","author":"Shalev-Shwartz","year":"2017"},{"key":"ref60","volume-title":"Linear Systems","volume":"8","author":"Antsaklis","year":"1997"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(71)90066-5"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.7249\/RRA569-1"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/2.58215"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_3"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.29007\/1973"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12716"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2011.2158210"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.3182\/20140824-6-ZA-1003.01567"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2012.6338839"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"ref74","article-title":"On a formal model of safe and scalable self-driving cars","author":"Shalev-Shwartz","year":"2018","journal-title":"arXiv:1708.06374[cs.RO]"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/ICCVE45908.2019.8965069"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2018.2880409"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9560790"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.160"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2742141"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2011.6083052"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434084"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2009.2018966"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1109\/ISIC.2007.4450881"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8917052"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2014.2376877"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1115\/DSCC2017-5361"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917712421"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311806"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1145\/3419742"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569332"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21759-4_15"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-28619-4_18"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC45102.2020.9294366"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1163\/1568553042674662"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2011.6094901"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2015.7225845"},{"key":"ref98","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9483043"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152536"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363938"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2008.4650640"},{"key":"ref102","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2012.6232145"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6943146"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509233"},{"key":"ref105","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509369"},{"key":"ref106","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.912871"},{"key":"ref107","doi-asserted-by":"publisher","DOI":"10.2514\/2.4856"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36279-8_33"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1002\/rob.21741"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.1109\/TAES.2022.3218496"},{"key":"ref111","doi-asserted-by":"publisher","DOI":"10.2514\/1.i011044"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0109870"},{"key":"ref113","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.05.003"},{"key":"ref114","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569529"},{"key":"ref115","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9030270"},{"issue":"14","key":"ref116","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1016\/j.ifacol.2015.09.474","article-title":"Reachability analysis and control synthesis for uncertain linear systems in mpt","volume":"48","author":"Kvasnica","year":"2015","journal-title":"IFAC-PapersOnLine"},{"key":"ref117","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920943266"},{"key":"ref118","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619554"},{"key":"ref119","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2019.2949194"},{"key":"ref120","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029873"},{"key":"ref121","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01094-1_1"},{"key":"ref122","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.03495"},{"key":"ref123","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.02.003"},{"key":"ref124","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2018.12.002"},{"key":"ref125","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814853"},{"key":"ref126","first-page":"33","article-title":"Blending kinematic and software models for tighter reachability analysis","volume-title":"Proc. IEEE\/ACM 42nd Int. Conf. Softw. Engineering: New Ideas Emerg. Results","author":"Hildebrandt","year":"2020"},{"key":"ref127","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218742"},{"key":"ref128","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883846"},{"key":"ref129","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.09.671"},{"key":"ref130","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147548"},{"key":"ref131","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2018.2843125"},{"key":"ref132","first-page":"163","article-title":"Data-driven reachability analysis using matrix zonotopes","volume-title":"Proc. Learn. Dyn. Control","author":"Alanwar","year":"2021"},{"issue":"1","key":"ref133","first-page":"17","article-title":"Next-generation airborne collision avoidance system","volume-title":"Lincoln Lab. J.","volume":"19","author":"Kochenderfer","year":"2012"},{"key":"ref134","doi-asserted-by":"publisher","DOI":"10.2514\/1.G003724"},{"key":"ref135","article-title":"Reachable set computation and safety verification for neural networks with relu activations","volume-title":"arXiv:1712.08163","author":"Xiang"},{"key":"ref136","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE.2019.00012"},{"key":"ref137","doi-asserted-by":"publisher","DOI":"10.1145\/3387168.3387244"},{"key":"ref138","article-title":"Constrained feedforward neural network training via reachability analysis","author":"Chung","year":"2021","journal-title":"arXiv:2107.07696[cs.LG]."},{"key":"ref139","doi-asserted-by":"publisher","DOI":"10.1109\/ICVES.2018.8519517"},{"key":"ref140","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197257"},{"key":"ref141","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2018.XIV.069"},{"key":"ref142","doi-asserted-by":"publisher","DOI":"10.1109\/ICMECH.2019.8722888"},{"key":"ref143","doi-asserted-by":"publisher","DOI":"10.1109\/CONTROL.2016.7737643"},{"key":"ref144","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311811"},{"key":"ref145","doi-asserted-by":"publisher","DOI":"10.3758\/s13423-018-1454-5"},{"key":"ref146","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45190-5_11"},{"key":"ref147","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0"},{"key":"ref148","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2015.11.012"},{"key":"ref149","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43645-5_45"},{"key":"ref150","volume-title":"Deontic Logic: Introductory and Systematic Readings","volume":"33","author":"Hilpinen","year":"2012"},{"key":"ref151","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.269"},{"key":"ref152","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9030133"},{"key":"ref153","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029575"},{"key":"ref154","doi-asserted-by":"publisher","DOI":"10.1109\/IROS40897.2019.8968498"},{"key":"ref155","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2016.2622920"},{"key":"ref156","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431048"},{"key":"ref157","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"ref158","doi-asserted-by":"publisher","DOI":"10.1145\/3358230"},{"key":"ref159","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36580-x_5"},{"key":"ref160","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2010.5548121"},{"key":"ref161","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29320-7_14"},{"key":"ref162","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.08.507"},{"key":"ref163","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2018.XIV.014"},{"key":"ref164","doi-asserted-by":"publisher","DOI":"10.29007\/8dp4"},{"key":"ref165","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"ref166","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.2538"},{"key":"ref167","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_22"},{"key":"ref168","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_29"}],"container-title":["IEEE Transactions on Intelligent Vehicles"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7274857\/10024686\/09768203.pdf?arnumber=9768203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T22:38:05Z","timestamp":1705963085000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9768203\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1]]},"references-count":168,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tiv.2022.3170517","relation":{},"ISSN":["2379-8904","2379-8858"],"issn-type":[{"value":"2379-8904","type":"electronic"},{"value":"2379-8858","type":"print"}],"subject":[],"published":{"date-parts":[[2023,1]]}}}