Comprehensive Probability Map-matching Method for Digital Track Map Validation | IEEE Conference Publication | IEEE Xplore