A closed-form expression for the uncertainty in odometry position estimate of an autonomous vehicle | IEEE Journals & Magazine | IEEE Xplore