GPS measurement model with satellite visibility using 3D map for particle filter | IEEE Conference Publication | IEEE Xplore