@phdthesis{rohou_thesis, address = {Brest, France}, type = {{PhD} dissertation}, title = {Reliable robot localization: a constraint-programming approach over dynamical systems}, school = {Universit{\'e} de Bretagne Occidentale}, author = {Rohou, Simon}, month = dec, year = {2017}, url = {http://www.simon-rohou.fr/research/phd/rohou_thesis.pdf} }