Seignez, E. and Lambert, A. 2013. Complexity study of guaranteed state estimation for real time robot localization. Journal of Automation, Mobile Robotics and Intelligent Systems. 5, 2 (Jan. 2013), 12–27.