{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T17:08:21Z","timestamp":1784912901363,"version":"3.55.0"},"reference-count":22,"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"}],"funder":[{"DOI":"10.13039\/100009950","name":"Ministry of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100009950","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,6,2]]},"DOI":"10.1109\/iv55156.2024.10588668","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T17:19:28Z","timestamp":1721063968000},"page":"1758-1763","source":"Crossref","is-referenced-by-count":1,"title":["Enhancing Safety for Autonomous Agents in Partly Concealed Urban Traffic Environments Through Representation-Based Shielding"],"prefix":"10.1109","author":[{"given":"Pierre","family":"Haritz","sequence":"first","affiliation":[{"name":"TU Dortmund University,Faculty of Computer Science, Chair of Artificial Intelligence,Dortmund,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Wanke","sequence":"additional","affiliation":[{"name":"TU Dortmund University,Faculty of Computer Science, Chair of Artificial Intelligence,Dortmund,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Liebig","sequence":"additional","affiliation":[{"name":"TU Dortmund University,Faculty of Computer Science, Chair of Artificial Intelligence,Dortmund,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","first-page":"1","article-title":"Carla: An open urban driving simulator","volume-title":"Proceedings of the 1st Annual Conference on Robot Learning","author":"Alexey Dosovitskiy"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"ref3","volume-title":"Principles of model checking","author":"Baier","year":"2008"},{"key":"ref4","author":"Bouton","year":"2019","journal-title":"Reinforcement learning with probabilistic guarantees for autonomous driving"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8813803"},{"key":"ref6","author":"Brockman","year":"2016","journal-title":"Openai gym."},{"key":"ref7","article-title":"SUMO 2018- Simulating Autonomous and Intermodal Transport Systems","author":"Wiessner","year":"2018","journal-title":"EPiC Series in Engineering. EasyChair"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8461233"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360251"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2021.3054625"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IV48863.2021.9575669"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2020.2973615"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.62.1805"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1038\/nature14236"},{"key":"ref17","article-title":"Safe deep q-network for autonomous vehicles at unsignalized intersection","author":"Mokhtari","year":"2021"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.29007\/dkzb"},{"issue":"268","key":"ref19","first-page":"1","article-title":"Stable-baselines3: Reliable reinforcement learning implementations","volume":"22","author":"Raffin","year":"2021","journal-title":"Journal of Machine Learning Research"},{"key":"ref20","article-title":"On a formal model of safe and scalable self-driving cars","author":"Shalev-Shwartz","year":"2017"},{"key":"ref21","volume-title":"Reinforcement learning, second edition: An introduction. Adaptive computation and machine learning","author":"Sutton","year":"2018"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC55140.2022.9922164"}],"event":{"name":"2024 IEEE Intelligent Vehicle Symposium (IV)","location":"Jeju Island, Korea, Republic of","start":{"date-parts":[[2024,6,2]]},"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\/10588668.pdf?arnumber=10588668","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,19]],"date-time":"2024-07-19T05:06:32Z","timestamp":1721365592000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10588668\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,2]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iv55156.2024.10588668","relation":{},"subject":[],"published":{"date-parts":[[2024,6,2]]}}}