Seignez, E.; Lambert, A. Complexity Study of Guaranteed State Estimation for Real Time Robot Localization. JAMRIS 2013, 5 (2), 12-27.