Sebastian Maierhofer, Yannick Ballnath, Matthias Althoff. Map Verification and Repairing Using Formalized Map Specifications. In 25th IEEE International Conference on Intelligent Transportation Systems, ITSC 2022, Macau, China, October 8-12, 2022. pages 1277-1284, IEEE, 2023. [doi]
Abstract is missing.