{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,13]],"date-time":"2026-10-13T18:36:53Z","timestamp":1791916613584,"version":"4.3.4"},"reference-count":29,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,24]],"date-time":"2023-09-24T00:00:00Z","timestamp":1695513600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,24]],"date-time":"2023-09-24T00:00:00Z","timestamp":1695513600000},"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":[[2023,9,24]]},"DOI":"10.1109\/itsc57777.2023.10422044","type":"proceedings-article","created":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T18:32:39Z","timestamp":1707849159000},"page":"1277-1284","source":"Crossref","is-referenced-by-count":7,"title":["Map Verification and Repairing Using Formalized Map Specifications"],"prefix":"10.1109","author":[{"given":"Sebastian","family":"Maierhofer","sequence":"first","affiliation":[{"name":"School of Computation, Information and Technology, Technical University of Munich,Garching,Germany,85748"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yannick","family":"Ballnath","sequence":"additional","affiliation":[{"name":"School of Computation, Information and Technology, Technical University of Munich,Garching,Germany,85748"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[{"name":"School of Computation, Information and Technology, Technical University of Munich,Garching,Germany,85748"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304549"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IV51971.2022.9827153"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2014.6856487"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995802"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569929"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S0373463319000638"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2521819"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2016.7795794"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IROS51168.2021.9636205"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TGRS.2007.906107"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.372"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC45102.2020.9294629"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9564885"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2014.6856564"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197419"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304837"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569249"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304580"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33353-8_7"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.5194\/isprs-annals-X-4-W2-2022-257-2022"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995917"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s13177-018-0154-x"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-77385-4_5"},{"key":"ref24","first-page":"1","article-title":"Scene Understanding of Urban Road Intersections with Description Logic","volume-title":"Logic and Probability for Scene Interpretation, ser. Dagstuhl Seminar Proceedings","volume":"8091","author":"Hummel","year":"2008"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31784-3_9"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/IV51971.2022.9827357"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02788-8_6"}],"event":{"name":"2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)","location":"Bilbao, Spain","start":{"date-parts":[[2023,9,24]]},"end":{"date-parts":[[2023,9,28]]}},"container-title":["2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10420842\/10420843\/10422044.pdf?arnumber=10422044","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T16:37:48Z","timestamp":1710347868000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10422044\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,24]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/itsc57777.2023.10422044","relation":{},"subject":[],"published":{"date-parts":[[2023,9,24]]}}}