Seignez, Emmanuel, and Alain Lambert. “Complexity Study of Guaranteed State Estimation for Real Time Robot Localization”. Journal of Automation, Mobile Robotics and Intelligent Systems, vol. 5, no. 2, Jan. 2013, pp. 12-27, https://www.jamris.org/index.php/JAMRIS/article/view/160.