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.
DOI : 10.1016/j.engappai.2016.06.005

B. Desrochers, S. Lacroix, and L. Jaulin, Set-membership approach to the kidnapped robot problem, IROS 2015, 2015.
DOI : 10.1109/iros.2015.7353897
URL : https://hal.archives-ouvertes.fr/hal-01236504

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.
DOI : 10.1109/joe.2012.2235664
URL : http://kth.diva-portal.org/smash/get/diva2:642654/FULLTEXT01

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 marks, Constraints, vol.21, issue.4, pp.557-576, 2016.
DOI : 10.1007/s10601-015-9231-9

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

R. B. Kearfott and V. Kreinovich, Applications of Interval Computations. Kluwer, 1996.
DOI : 10.1007/978-1-4613-3440-8_1
URL : http://www.cs.utep.edu/vladik/1995/tr95-32.ps.gz

V. Kreinovich, L. Longpré, P. Patangay, S. Ferson, and L. Ginzburg, Outlier detection under interval uncertainty: Algorithmic solvability and computational complexity, Large-Scale Scientific Computing, Proceedings of the 4th International Conference LSSC'2003, 2003.
DOI : 10.1007/s11155-005-5943-7
URL : http://digitalcommons.utep.edu/cgi/viewcontent.cgi?article%3D1283%26context%3Dcs_techrep

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

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

R. E. Moore, Methods and Applications of Interval Analysis, 1979.
DOI : 10.1137/1.9781611970906
URL : https://epubs.siam.org/doi/pdf/10.1137/1.9781611970906.fm

T. Raissi, N. Ramdani, and Y. Candau, Set membership state and parameter estimation for systems described by nonlinear differential equations, Automatica, vol.40, pp.1771-1777, 2004.

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.
DOI : 10.1007/s00607-011-0172-x

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-00518537

S. Rohou, L. Jaulin, M. Mihaylova, F. L. Bars, and S. Veres, Guaranteed Computation of Robots Trajectories, Robotics and Autonomous Systems, vol.93, pp.76-84, 2017.
DOI : 10.1016/j.robot.2017.03.020
URL : https://hal.archives-ouvertes.fr/hal-01516228

J. Sliwka, F. Le-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. Bugard, and D. Fox, Probabilistic Robotics, 2005.
DOI : 10.1145/504729.504754

E. Walter and H. Piet-lahanier, Estimation of the parameter uncertainty resulting from bounded-error data, Math. Biosci, vol.92, pp.55-74, 1988.
DOI : 10.1016/0025-5564(88)90005-3