Map Verification and Repairing Using Formalized Map Specifications. - Sebastian Maierhofer; Yannick Ballnath; Matthias Althoff (ITSC, 2023)