I. Araya, G. Trombettoni, and B. Neveu, A Contractor Based on Convex Interval Taylor, Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems: 9th International Conference, pp.1-16, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00733848

F. Benhamou, F. Goualard, L. Granvilliers, and J. F. Puget, Revising hull and box consistency, Proceedings of the International Conference on Logic Programming, pp.230-244, 1999.

A. Burgard, D. Derr, D. Fox, and A. B. Cremers, Integrating global position estimation and position tracking for mobile robots: the dynamic markov localization approach, IROS Conference, pp.730-735, 1998.

G. Chabert, IBEX, a C++ library for constraint processing over real numbers

B. Desrochers and L. Jaulin, A minimal contractor for the polar equation: Application to robot localization, Engineering Applications of Artificial Intelligence, vol.55, pp.83-92, 2016.

B. Desrochers, S. Lacroix, and L. Jaulin, Set-membership approach to the kidnapped robot problem, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp.3715-3720, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01182607

V. Drevelle and P. Bonnifait, Localization confidence domains via set inversion on short-term trajectory, IEEE Transactions on Robotics, vol.29, pp.1244-1256, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00877443

M. Drumheller, Mobile robot localization using sonar, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.9, issue.2, pp.325-332, 1987.

M. F. Fallon, J. Folkesson, H. Mcclelland, and J. J. Leonard, Relocating underwater features autonomously using sonar-based SLAM, IEEE Journal of Oceanic Engineering, vol.38, issue.3, pp.500-513, 2013.

A. Gning and P. Bonnifait, Constraints propagation techniques on intervals for a guaranteed localization using redundant data, Automatica, vol.42, issue.7, pp.1167-1175, 2006.

J. Gutmann, A. Burgard, D. Fox, and K. Konolige, An experimental comparison of localization methods, IROS conference, pp.736-743, 1998.

A. Guttman, R-trees: A dynamic index structure for spatial searching, International conference on management data, pp.47-57, 1984.

L. Jaulin, Mobile Robotics. ISTE editions, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01236489

L. Jaulin, Pure range-only SLAM with indistinguishable landmarks; a constraint programming approach, Constraints, pp.1-20, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01298354

L. Jaulin and B. Desrochers, Robust localisation using separators, COPROD 2014, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01121906

C. Jermann, G. Trombettoni, B. Neveu, and P. Mathis, Decomposition of geometric constraint systems: a survey, International Journal of Computational Geometry & Applications, vol.16, issue.05n06, pp.379-414, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00481267

R. B. Kearfott and V. Kreinovich, Applications of Interval Computations. Kluwer, 1996.

V. Kreinovich, L. Longpré, P. Patangay, S. Ferson, and L. Ginzburg, Outlier detection under interval uncertainty: Algorithmic solvability and computational complexity, Proceedings of the 4th International Conference LSSC'2003, 2003.

S. I. Kumkov and Y. V. Mikushina, Interval approach to identification of catalytic process parameters, Reliable Computing, vol.19, issue.2, pp.197-214, 2013.

J. J. Leonard and H. F. Durrant-whyte, Mobile robot localization by tracking geometric beacons, IEEE Transactions on Robotics and Automation, vol.7, issue.3, pp.376-382, 1991.

J. J. Leonard and H. F. Durrant-whyte, Directed Sonar Sensing for Mobile Robot Navigation, 1992.

S. Mcphail, Autosub6000: A Deep Diving Long Range AUV, Journal of Bionic Engineering, vol.6, issue.1, pp.55-62, 2009.

D. Meizel, O. Lévêque, L. Jaulin, and E. Walter, Initial localization by set inversion, IEEE transactions on robotics and Automation, vol.18, issue.6, pp.966-971, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00845638

D. Meizel, A. Preciado-ruiz, and E. Halbwachs, Estimation of mobile robot localization: geometric approaches, Bounding Approaches to System Identification, pp.463-489, 1996.

R. Moore, Methods and Applications of Interval Analysis, Studies in Applied and Numerical Mathematics. Society for Industrial and Applied Mathematics, 1979.

R. Neuland, J. Nicola, R. Maffei, L. Jaulin, E. Prestes et al., Hybridization of Monte Carlo and set-membership methods for the global localization of underwater robots, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.199-204, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01122047

L. Paull, M. Seto, S. Saeedi, and J. J. Leonard, Navigation for Underwater Vehicles, pp.1-15, 2018.

A. Rauh, E. Auer, T. Dotschel, and H. Aschemann, Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances, Computing, vol.92, issue.2, pp.345-356, 2012.

O. Reynet, L. Jaulin, and G. Chabert, Robust TDOA passive location using interval analysis and contractor programming, Radar, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00911254

S. Rohou, L. Jaulin, L. Mihaylova, F. L. Bars, and S. M. Veres, Guaranteed computation of robot trajectories, Robotics and Autonomous Systems, vol.93, pp.76-84, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01516228

S. Rohou, L. Jaulin, L. Mihaylova, F. L. Bars, and S. M. Veres, Reliable non-linear state estimation involving time uncertainties, vol.93, pp.379-388, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01778187

S. Rohou, L. Jaulin, L. Mihaylova, F. L. Bars, and S. M. Veres, Reliable robot localization: a constraint-programming approach over dynamical systems, ISTE Ltd, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02435019

S. I. Seddik, Localization of a Swarm of Underwater Robots Using Set-Membership Methods, 2015.

J. Sliwka, F. L. Bars, O. Reynet, and L. Jaulin, Using interval methods in the context of robust localization of underwater robots, NAFIPS 2011, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00583049

S. Thrun, W. Burgard, and D. Fox, Probabilistic Robotics, 2005.

É. Walter and H. Piet-lahanier, Estimation of the parameter uncertainty resulting from bounded-error data, Mathematical Biosciences, vol.92, issue.1, pp.55-74, 1988.

S. B. Williams, P. Newman, J. Rosenblatt, G. Dissanayake, and H. Durrant-whyte, Autonomous underwater navigation and control. Robotica, vol.19, issue.5, p.481496, 2001.

Y. Wu, X. Ta, R. Xiao, Y. Wei, D. An et al., Survey of underwater robot positioning navigation, Applied Ocean Research, vol.90, p.101845, 2019.