{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T04:09:15Z","timestamp":1781064555445,"version":"3.54.1"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T00:00:00Z","timestamp":1685836800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T00:00:00Z","timestamp":1685836800000},"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":[],"published-print":{"date-parts":[[2023,6,4]]},"DOI":"10.1109\/iv55152.2023.10186763","type":"proceedings-article","created":{"date-parts":[[2023,7,27]],"date-time":"2023-07-27T17:20:05Z","timestamp":1690478405000},"page":"1-8","source":"Crossref","is-referenced-by-count":6,"title":["Formal Verification of Safety Architectures for Automated Driving"],"prefix":"10.1109","author":[{"given":"Clovis","family":"Eberhart","sequence":"first","affiliation":[{"name":"National Institute of Informatics,Tokyo,Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J\u00e9r\u00e9my","family":"Dubut","sequence":"additional","affiliation":[{"name":"National Institute of Advanced Industrial Science and Technology (AIST),Tokyo,Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James","family":"Haydon","sequence":"additional","affiliation":[{"name":"National Institute of Informatics,Tokyo,Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ichiro","family":"Hasuo","sequence":"additional","affiliation":[{"name":"National Institute of Informatics,Tokyo,Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref12","article-title":"Self-driving vehicle verification towards a benchmark","author":"roohi","year":"2018","journal-title":"CoRR"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3054.001.0001"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_5"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304682"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1998.703255"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.34"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980223"},{"key":"ref8","first-page":"1081","article-title":"A parameter analysis on RSS in overtaking situations on german highways","author":"k\u00f6nigshof","year":"2022","journal-title":"IV 2022"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IV48863.2021.9575731"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9564554"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2022.3169762"},{"key":"ref3","article-title":"On a formal model of safe and scalable self-driving cars","author":"shalev-shwartz","year":"2017","journal-title":"CoRR"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref5","article-title":"Responsibility-sensitive safety: an introduction with an eye to logical foundations and formalization","author":"hasuo","year":"2022","journal-title":"CoRR"}],"event":{"name":"2023 IEEE Intelligent Vehicles Symposium (IV)","location":"Anchorage, AK, USA","start":{"date-parts":[[2023,6,4]]},"end":{"date-parts":[[2023,6,7]]}},"container-title":["2023 IEEE Intelligent Vehicles Symposium (IV)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10186382\/10186383\/10186763.pdf?arnumber=10186763","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,14]],"date-time":"2023-08-14T17:37:28Z","timestamp":1692034648000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10186763\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,4]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iv55152.2023.10186763","relation":{},"subject":[],"published":{"date-parts":[[2023,6,4]]}}}