{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T20:16:04Z","timestamp":1773778564559,"version":"3.50.1"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,6,5]],"date-time":"2022-06-05T00:00:00Z","timestamp":1654387200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,5]],"date-time":"2022-06-05T00:00:00Z","timestamp":1654387200000},"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":[[2022,6,5]]},"DOI":"10.1109\/iv51971.2022.9827153","type":"proceedings-article","created":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T19:33:28Z","timestamp":1658259208000},"page":"1135-1144","source":"Crossref","is-referenced-by-count":46,"title":["Formalization of Intersection Traffic Rules in Temporal Logic"],"prefix":"10.1109","author":[{"given":"Sebastian","family":"Maierhofer","sequence":"first","affiliation":[{"name":"Technical University of Munich,Department of Informatics,Garching,Germany,85748"}]},{"given":"Paul","family":"Moosbrugger","sequence":"additional","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":"ref30","first-page":"3176","article-title":"CommonRoad Scenario Designer: An open-source toolbox for map conversion and scenario creation for autonomous vehicles","author":"maierhofer","year":"2021","journal-title":"Proc of the IEEE Int Conf on Intelligent Transportation Systems"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8813875"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3359986.3361203"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561777"},{"key":"ref13","article-title":"On a formal model of safe and scalable self-driving cars","author":"shalev-shwartz","year":"2017","journal-title":"arXiv preprint arXiv 1708 06374"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2016.7535382"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995917"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CASE48305.2020.9217037"},{"key":"ref17","first-page":"3217","article-title":"Incremental sampling-based algorithm for minimum-violation motion planning","author":"reyes castro","year":"2013","journal-title":"Proc of the IEEE Conf on Decision and Control"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/IV48863.2021.9575739"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794364"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569938"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CAVS51000.2020.9334599"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304839"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/978-3-319-66845-1_4","article-title":"Formalising and monitoring traffic rules for autonomous vehicles in Isabelle\/HOL","author":"rizaldi","year":"2017","journal-title":"Proc of the Int Conf on Integrated Formal Methods"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304549"},{"key":"ref29","article-title":"Coupling SUMO with a motion planning framework for automated vehicles","author":"klischat","year":"2019","journal-title":"SUMO Simulating Connected Urban Mobility"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.269"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS48487.2020.00012"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9564432"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995918"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3410220.3460101"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40648-0_14"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995802"},{"key":"ref22","first-page":"1","article-title":"Map-based curvilinear coordinates for autonomous vehicles","author":"h\u00e9ry","year":"2017","journal-title":"Proc of the IEEE Int Conf on Intelligent Transportation Systems"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2014.6856487"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1025"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2020.3017385"},{"key":"ref26","article-title":"Straßen-verkehrsrecht: Kommentar","author":"burmann","year":"2020"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31784-3_9"}],"event":{"name":"2022 IEEE Intelligent Vehicles Symposium (IV)","location":"Aachen, Germany","start":{"date-parts":[[2022,6,4]]},"end":{"date-parts":[[2022,6,9]]}},"container-title":["2022 IEEE Intelligent Vehicles Symposium (IV)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9826996\/9826997\/09827153.pdf?arnumber=9827153","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,8]],"date-time":"2022-08-08T20:04:42Z","timestamp":1659989082000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9827153\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,5]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/iv51971.2022.9827153","relation":{},"subject":[],"published":{"date-parts":[[2022,6,5]]}}}