Probabilistic models of dead-reckoning error in nonholonomic mobile robots | IEEE Conference Publication | IEEE Xplore