{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T07:03:20Z","timestamp":1779087800566,"version":"3.51.4"},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"JST","award":["JPMJER1603"],"award-info":[{"award-number":["JPMJER1603"]}]},{"DOI":"10.13039\/501100020958","name":"Advanced Information and Communication Technology for Innovation","doi-asserted-by":"publisher","award":["JPMJPR17UA"],"award-info":[{"award-number":["JPMJPR17UA"]}],"id":[{"id":"10.13039\/501100020958","id-type":"DOI","asserted-by":"publisher"}]},{"name":"JSPS","award":["19K20215"],"award-info":[{"award-number":["19K20215"]}]},{"name":"JSPS","award":["19K20249"],"award-info":[{"award-number":["19K20249"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Veh."],"published-print":{"date-parts":[[2023,4]]},"DOI":"10.1109\/tiv.2022.3169762","type":"journal-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T19:22:24Z","timestamp":1657048944000},"page":"3040-3072","source":"Crossref","is-referenced-by-count":14,"title":["Goal-Aware RSS for Complex Scenarios via Program Logic"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8300-4650","authenticated-orcid":false,"given":"Ichiro","family":"Hasuo","sequence":"first","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3009-6747","authenticated-orcid":false,"given":"Clovis","family":"Eberhart","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Haydon","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2640-3065","authenticated-orcid":false,"given":"J\u00e9r\u00e9my","family":"Dubut","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rose","family":"Bohrer","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Worcester Polytechnic Institute, Worcester, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tsutomu","family":"Kobayashi","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5929-9014","authenticated-orcid":false,"given":"Sasinee","family":"Pruekprasert","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7414-8057","authenticated-orcid":false,"given":"Xiao-Yi","family":"Zhang","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5363-8030","authenticated-orcid":false,"given":"Erik Andr\u00e9","family":"Pallas","sequence":"additional","affiliation":[{"name":"Institute of Software and Systems Engineering, University of Augsburg, Augsburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akihisa","family":"Yamada","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7466-8789","authenticated-orcid":false,"given":"Kohei","family":"Suenaga","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7725-2618","authenticated-orcid":false,"given":"Fuyuki","family":"Ishikawa","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenji","family":"Kamijo","sequence":"additional","affiliation":[{"name":"Mazda Motor Corporation, Fuchu, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4752-8622","authenticated-orcid":false,"given":"Yoshiyuki","family":"Shinya","sequence":"additional","affiliation":[{"name":"Mazda Motor Corporation, Fuchu, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takamasa","family":"Suetomi","sequence":"additional","affiliation":[{"name":"Mazda Motor Corporation, Fuchu, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","year":"2020","journal-title":"UL4600 Standard for Evaluation of Autonomous Products"},{"key":"ref35","first-page":"297","article-title":"Remarks on the history of the notion of Lie differentiation","author":"trautman","year":"0","journal-title":"Variations Geometry and Physics In Honour of Demeter Krupka's Sixty-Fifth Birthday"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304635"},{"key":"ref34","author":"khalil","year":"1996","journal-title":"Nonlinear Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1088\/1757-899X\/1144\/1\/012078"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304563"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2006.1707153"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3054.001.0001"},{"key":"ref30","first-page":"1","article-title":"Certified control: A new safety architecture for autonomous vehicles","author":"chow","year":"2020"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304602"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-1793-7_4"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"2881","DOI":"10.4271\/2020-01-1206","article-title":"Driving safety performance assessment metrics for ADS-equipped vehicles","volume":"2","author":"altekar","year":"2020","journal-title":"SAE Int J Adv Curr Pract Mobil"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46428-X_20"},{"key":"ref2","article-title":"Responsibility-sensitive safety: An introduction with an eye to logical foundation and formalization","author":"hasuo","year":"2022","journal-title":"CoRR"},{"key":"ref1","article-title":"On a formal model of safe and scalable self-driving cars","author":"shalev-shwartz","year":"2017"},{"key":"ref17","first-page":"267","article-title":"Hoare-style compositional proof systems for reactive shared variable concurency","volume":"1346","author":"boer","year":"0","journal-title":"Proc Found Softw Technol Theor Comput Sci in Proc 17th Conf Proc Ser Lecture Notes Comput Sci"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.240.5"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref38","article-title":"Wolfram Research, Inc., Version 12.3.1","year":"2021"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.34"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304744"},{"key":"ref23","article-title":"Self-driving vehicle verification towards a benchmark","author":"roohi","year":"2018"},{"key":"ref26","first-page":"67","article-title":"Isabelle\/HOL - A proof assistant for higher-order logic","volume":"2283","author":"nipkow","year":"2002"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_5"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1998.703255"},{"key":"ref22","first-page":"2265","article-title":"Towards standardization of AV safety: C library for responsibility sensitive safety","author":"ga\u00dfmann","year":"0","journal-title":"Proc IEEE Intell Veh Symp"},{"key":"ref21","first-page":"1941","article-title":"Safe swerve maneuvers for autonomous driving","author":"iaco","year":"0","journal-title":"Proc IEEE Intell Veh Symp"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-76384-8_13"},{"key":"ref27","first-page":"91","article-title":"PURSS: Towards perceptual uncertainty aware responsibility sensitive safety with ML","volume":"2560","author":"salay","year":"0","journal-title":"Proc Workshop Artif Intell Safety"},{"key":"ref29","article-title":"Efficacy of pixel-level OOD detection for semantic segmentation","author":"angus","year":"2019"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.4271\/2020-01-1207"},{"key":"ref7","article-title":"Implementing the RSS model on NHTSA pre-crash scenarios","author":"shashua","year":"2018","journal-title":"Mobileye"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304541"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678883"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980223"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2018.8593597"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304581"},{"key":"ref40","article-title":"Automated driving system (ADS) high-level quality requirements analysis-driving behavior comfort","author":"czarnecki","year":"2018"}],"container-title":["IEEE Transactions on Intelligent Vehicles"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7274857\/10130133\/09815834.pdf?arnumber=9815834","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T18:22:15Z","timestamp":1687198935000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9815834\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4]]},"references-count":40,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tiv.2022.3169762","relation":{},"ISSN":["2379-8904","2379-8858"],"issn-type":[{"value":"2379-8904","type":"electronic"},{"value":"2379-8858","type":"print"}],"subject":[],"published":{"date-parts":[[2023,4]]}}}