GNSS Probabilistic Single Differencing For Non-Parametric State Estimation Based On Spatial Map Data | IEEE Conference Publication | IEEE Xplore