@book{rohou:hal-02435019, TITLE = {{Reliable Robot Localization: A Constraint-programming Approach over Dynamical Systems}}, AUTHOR = {Rohou, Simon and Jaulin, Luc and Mihaylova, Lyudmila and Le Bars, Fabrice and Veres, Sandor M.}, URL = {https://hal.science/hal-02435019}, PUBLISHER = {{ISTE Ltd and John Wiley \& Sons Inc}}, YEAR = {2019}, DOI = {10.1002/9781119680970}, HAL_ID = {hal-02435019}, HAL_VERSION = {v1}, }