@phdthesis{rohou:tel-03010085, TITLE = {{Reliable robot localization: a constraint programming approach over dynamical systems}}, AUTHOR = {Rohou, Simon}, URL = {https://hal.science/tel-03010085}, SCHOOL = {{Lab-STICC ; UBO Brest ; ENSTA Bretagne ; University of Sheffield}}, YEAR = {2017}, MONTH = Dec, KEYWORDS = {mobile robotics ; dynamical systems ; constraint programming ; interval analysis ; localization ; SLAM ; AUVs ; robotique mobile ; syst{\`e}mes dynamiques ; programmation par contraintes ; analyse par intervalles ; localisation ; SLAM ; AUVs}, TYPE = {Theses}, PDF = {https://hal.science/tel-03010085/file/rohou_thesis.pdf}, HAL_ID = {tel-03010085}, HAL_VERSION = {v1}, }