Complexity study of guaranteed state estimation for real time robot localization. - Seignez, Emmanuel; Lambert, Alain (Journal of Automation, Mobile Robotics and Intelligent Systems, 2011)