{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T17:54:18Z","timestamp":1772042058448,"version":"3.50.1"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,24]],"date-time":"2023-09-24T00:00:00Z","timestamp":1695513600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,24]],"date-time":"2023-09-24T00:00:00Z","timestamp":1695513600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001695","name":"JST","doi-asserted-by":"publisher","award":["JPMJER1603,JPMJST2213,JPMJCR2012"],"award-info":[{"award-number":["JPMJER1603,JPMJST2213,JPMJCR2012"]}],"id":[{"id":"10.13039\/501100001695","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9,24]]},"DOI":"10.1109\/itsc57777.2023.10421868","type":"proceedings-article","created":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T23:32:39Z","timestamp":1707867159000},"page":"107-114","source":"Crossref","is-referenced-by-count":2,"title":["Formal Verification of Intersection Safety for Automated Driving"],"prefix":"10.1109","author":[{"given":"James","family":"Haydon","sequence":"first","affiliation":[{"name":"National Institute of Informatics,Tokyo,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Bondu","sequence":"additional","affiliation":[{"name":"National Institute of Informatics,Tokyo,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clovis","family":"Eberhart","sequence":"additional","affiliation":[{"name":"National Institute of Informatics,Tokyo,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00e9my","family":"Dubut","sequence":"additional","affiliation":[{"name":"AIST,Tokyo,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ichiro","family":"Hasuo","sequence":"additional","affiliation":[{"name":"National Institute of Informatics,Tokyo,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"On a formal model of safe and scalable self-driving cars","volume":"abs\/1708.06374","author":"Shalev-Shwartz","year":"2017","journal-title":"CoRR"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2022.3169762"},{"key":"ref3","article-title":"Responsibility-sensitive safety: an introduction with an eye to logical foundations and formalization","author":"Hasuo","year":"2022","journal-title":"CoRR 2206.03418"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IV55152.2023.10186763"},{"key":"ref5","first-page":"99","article-title":"Rss+: Proactive risk mitigation for AV safety layers based on RSS","volume-title":"IV 2021","author":"Oboril","year":"2021"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8813885"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS54341.2022.00008"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IV51971.2022.9827086"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9564554"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304682"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IV51971.2022.9827153"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IV51971.2022.9827357"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160622"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3390\/s20164506"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2022.07.577"},{"key":"ref17","volume-title":"Multi-model heterogeneous verification of cyber-physical systems","author":"Rajhans","year":"2013"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9565085"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-020-3071-8"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_5"},{"key":"ref21","article-title":"Self-driving vehicle verification towards a benchmark","author":"Roohi","year":"2018","journal-title":"CoRR 1806.08810"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793636"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3054.001.0001"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"ref27","article-title":"Formal verification of intersection safety for automated driving","author":"Haydon","year":"2023","journal-title":"CoRR"}],"event":{"name":"2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)","location":"Bilbao, Spain","start":{"date-parts":[[2023,9,24]]},"end":{"date-parts":[[2023,9,28]]}},"container-title":["2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10420842\/10420843\/10421868.pdf?arnumber=10421868","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T11:21:39Z","timestamp":1709464899000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10421868\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,24]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/itsc57777.2023.10421868","relation":{},"subject":[],"published":{"date-parts":[[2023,9,24]]}}}