High-Definition-Map-Based LiDAR Localization Through Dynamic Time-Synchronized Normal Distribution Transform Scan Matching | IEEE Journals & Magazine | IEEE Xplore