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://jamris.d.tomp.pl/index.php/JAMRIS/article/view/160.