Bayesian estimation and Kalman filtering: a unified framework for mobile robot localization | IEEE Conference Publication | IEEE Xplore