{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T05:21:48Z","timestamp":1775798508665,"version":"3.50.1"},"reference-count":68,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Research Training Group ConVeY funded by the German Research Foundation","award":["GRK 2428"],"award-info":[{"award-number":["GRK 2428"]}]},{"name":"German Federal Ministry of Education and Research"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Veh."],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1109\/tiv.2024.3400597","type":"journal-article","created":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T13:40:40Z","timestamp":1715607640000},"page":"7617-7634","source":"Crossref","is-referenced-by-count":4,"title":["Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6730-3802","authenticated-orcid":false,"given":"Hanna","family":"Krasowski","sequence":"first","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3733-842X","authenticated-orcid":false,"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2021.3054625"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IV48863.2021.9575880"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196924"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3390\/s23073762"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2022.10.440"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2022.04.008"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2021.09.071"},{"key":"ref8","article-title":"Provably safe reinforcement learning: Conceptual analysis, survey, and benchmarking","author":"Krasowski","year":"2023","journal-title":"Trans. Mach. Learn. Res."},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2012.2225104"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110692"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500421"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989177"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304549"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CAVS51000.2020.9334599"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IV48863.2021.9575685"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.oceaneng.2021.109380"},{"key":"ref17","article-title":"COLREGs: Convention on the international regulations for preventing collisions at Sea","year":"1972"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/JOE.2013.2254214"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.oceaneng.2019.106436"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3390\/s20020426"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.3390\/s19184055"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s00773-020-00727-4"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.oceaneng.2017.05.029"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2018.2801881"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/AUV.2004.1431190"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2551780"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1002\/rob.21900"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796273"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561507"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1177\/1748006X211069277"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1017\/S0263574718000218"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2022.3168974"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2023.3335467"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2021.3068762"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2022.3222009"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2021.104975"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1002\/9781119994138"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.3390\/jmse10101441"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9560909"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2022.10.441"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3022600"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.oceaneng.2021.109216"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.3390\/jmse12030372"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.oceaneng.2023.115649"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.12107"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17462-0_28"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569448"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC45102.2020.9294259"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/IV48863.2021.9575258"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC55140.2022.9922166"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.23919\/ACC53348.2022.9867652"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"ref53","first-page":"290","article-title":"Shield synthesis for reinforcement learning","volume-title":"Proc. 9th Int. Symp. Leveraging Appl. Formal Methods, Verification Validation: Verification Princ.","author":"Knighofer","year":"2020"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.aay6276"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794364"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2020.3017385"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/3306157"},{"key":"ref58","article-title":"Reachability analysis and its application to the safety assessment of autonomous cars","author":"Althoff","year":"2010"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3292008"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2016.7795594"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1177\/027836499801700706"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.2514\/6.2004-5141"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-011-9258-8"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC55140.2022.9921925"},{"key":"ref65","article-title":"Proximal policy optimization algorithms","author":"Schulman","year":"2017"},{"issue":"268","key":"ref66","first-page":"1","article-title":"Stable-baselines3: Reliable reinforcement learning implementations","volume":"22","author":"Raffin","year":"2021","journal-title":"J. Mach. Learn. Res."},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2023.3289580"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/OJCSYS.2023.3256305"}],"container-title":["IEEE Transactions on Intelligent Vehicles"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7274857\/11077821\/10530091.pdf?arnumber=10530091","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,18]],"date-time":"2025-07-18T04:39:44Z","timestamp":1752813584000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10530091\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12]]},"references-count":68,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tiv.2024.3400597","relation":{},"ISSN":["2379-8904","2379-8858"],"issn-type":[{"value":"2379-8904","type":"electronic"},{"value":"2379-8858","type":"print"}],"subject":[],"published":{"date-parts":[[2024,12]]}}}