{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T02:47:00Z","timestamp":1774493220561,"version":"3.50.1"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001659","name":"German Research Foundation","doi-asserted-by":"publisher","award":["GRK 2428"],"award-info":[{"award-number":["GRK 2428"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,7,11]]},"DOI":"10.1109\/iv48863.2021.9575685","type":"proceedings-article","created":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T20:59:16Z","timestamp":1635800356000},"page":"186-192","source":"Crossref","is-referenced-by-count":16,"title":["Temporal Logic Formalization of Marine Traffic Rules"],"prefix":"10.1109","author":[{"given":"Hanna","family":"Krasowski","sequence":"first","affiliation":[{"name":"Technical University of Munich,Department of Informatics,Garching,Germany,85748"}]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Department of Informatics,Garching,Germany,85748"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/AUV.2004.1431190"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2551780"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.3390\/s19020434"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1025"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.01.029"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1177\/027836499801700706"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19457-3_1"},{"key":"ref18","first-page":"752","article-title":"For-malization of interstate traffic rules in temporal logic","author":"maierhofer","year":"0","journal-title":"Proc of the IEEE Intelligent Vehicles Symposium"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2724551"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.oceaneng.2019.106436"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JOE.2013.2254214"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3390\/s19184055"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3390\/s20020426"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.oceaneng.2017.05.029"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s00773-020-00727-4"},{"key":"ref2","year":"1972","journal-title":"Convention on the International Regulations for Preventing Collisions at Sea (COLREGs)"},{"key":"ref1","article-title":"Annual Overview of Marine Casualties and Incidents 2020","year":"0","journal-title":"EMSA"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2018.2801881"},{"key":"ref20","article-title":"Marine Cadastre - Vessel Traffic Data","year":"0","journal-title":"U S Coast Guard Navigation Center Alexandria USA"}],"event":{"name":"2021 IEEE Intelligent Vehicles Symposium (IV)","location":"Nagoya, Japan","start":{"date-parts":[[2021,7,11]]},"end":{"date-parts":[[2021,7,17]]}},"container-title":["2021 IEEE Intelligent Vehicles Symposium (IV)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9575127\/9575130\/09575685.pdf?arnumber=9575685","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,15]],"date-time":"2024-01-15T20:59:28Z","timestamp":1705352368000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9575685\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,11]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iv48863.2021.9575685","relation":{},"subject":[],"published":{"date-parts":[[2021,7,11]]}}}