Embedded and probabilistic health management for the GPS of autonomous vehicles | IEEE Conference Publication | IEEE Xplore