{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:01:19Z","timestamp":1730278879028,"version":"3.28.0"},"reference-count":3,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T00:00:00Z","timestamp":1717286400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T00:00:00Z","timestamp":1717286400000},"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":[[2024,6,2]]},"DOI":"10.1109\/iv55156.2024.10588754","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T17:19:28Z","timestamp":1721063968000},"page":"3154-3154","source":"Crossref","is-referenced-by-count":0,"title":["Goal-Aware RSS for Complex Scenarios via Program Logic"],"prefix":"10.1109","author":[{"given":"Ichiro","family":"Hasuo","sequence":"first","affiliation":[{"name":"National Institute of Informatics (NII),Tokyo,Japan,101-8430"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clovis","family":"Eberhart","sequence":"additional","affiliation":[{"name":"National Institute of Informatics (NII),Tokyo,Japan,101-8430"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Haydon","sequence":"additional","affiliation":[{"name":"National Institute of Informatics (NII),Tokyo,Japan,101-8430"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00e9my","family":"Dubut","sequence":"additional","affiliation":[{"name":"National Institute of Informatics (NII),Tokyo,Japan,101-8430"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rose","family":"Bohrer","sequence":"additional","affiliation":[{"name":"Worcester Polytechnic Institute,Dept. Computer Science,Worcester,MA,USA,01609-2280"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tsutomu","family":"Kobayashi","sequence":"additional","affiliation":[{"name":"National Institute of Informatics (NII),Tokyo,Japan,101-8430"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sasinee","family":"Pruekprasert","sequence":"additional","affiliation":[{"name":"National Institute of Informatics (NII),Tokyo,Japan,101-8430"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao-Yi","family":"Zhang","sequence":"additional","affiliation":[{"name":"National Institute of Informatics (NII),Tokyo,Japan,101-8430"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik Andr\u00e9","family":"Pallas","sequence":"additional","affiliation":[{"name":"University of Augsburg,Inst. Software & Systems Engineering,Augsburg,Germany,D-86135"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akihisa","family":"Yamada","sequence":"additional","affiliation":[{"name":"AIST,Cyber Physical Security Research Center,Tokyo,Japan,135-0064"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kohei","family":"Suenaga","sequence":"additional","affiliation":[{"name":"Kyoto University,Graduate School of Informatics,Kyoto,Japan,606-8501"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fuyuki","family":"Ishikawa","sequence":"additional","affiliation":[{"name":"National Institute of Informatics (NII),Tokyo,Japan,101-8430"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenji","family":"Kamijo","sequence":"additional","affiliation":[{"name":"Mazda Motor Corporation,Fuchu,Japan,730-8670"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshiyuki","family":"Shinya","sequence":"additional","affiliation":[{"name":"Mazda Motor Corporation,Fuchu,Japan,730-8670"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takamasa","family":"Suetomi","sequence":"additional","affiliation":[{"name":"Mazda Motor Corporation,Fuchu,Japan,730-8670"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"On a formal model of safe and scalable self-driving cars","volume-title":"CoRR","volume":"abs\/1708.06374","author":"Shalev-Shwartz","year":"2017"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/tiv.2022.3169762"},{"key":"ref3","article-title":"Goal-aware RSS for complex scenarios via program logic","volume-title":"CoRR","volume":"abs\/2207.02387","author":"Hasuo","year":"2022"}],"event":{"name":"2024 IEEE Intelligent Vehicle Symposium (IV)","start":{"date-parts":[[2024,6,2]]},"location":"Jeju Island, Korea, Republic of","end":{"date-parts":[[2024,6,5]]}},"container-title":["2024 IEEE Intelligent Vehicles Symposium (IV)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10587320\/10588370\/10588754.pdf?arnumber=10588754","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,19]],"date-time":"2024-07-19T05:17:07Z","timestamp":1721366227000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10588754\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,2]]},"references-count":3,"URL":"https:\/\/doi.org\/10.1109\/iv55156.2024.10588754","relation":{},"subject":[],"published":{"date-parts":[[2024,6,2]]}}}