Brief Industry Paper: An Infrastructure-Aided High Definition Map Data Provisioning Service for Autonomous Driving | IEEE Conference Publication | IEEE Xplore