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, June 2011, pp. 12-27, https://www.jamris.org/index.php/JAMRIS/article/view/160.