A Gaussian approximation of the posterior for digital map-based localization using a particle filter | IEEE Conference Publication | IEEE Xplore