Continuous Verification and Safe Localization in Semantic High Definition Maps for Automated Driving Jan-Hendrik Pauls