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