R. Smith, M. Self, and P. Cheeseman, Estimating Uncertain Spatial Relationships in Robotics, Autonomous Robot Vehicles, pp.167-193, 1990.
DOI : 10.1109/robot.1987.1087846

M. Bosse, P. Newman, J. Leonard, and S. Teller, Simultaneous localization and map building in large-scale cyclic environments using the atlas framework, The International Journal of Robotics Research, vol.23, issue.12, pp.1113-1139, 2004.

Y. Latif, C. Cadena, and J. Neira, Robust loop closing over time for pose graph slam, The International Journal of Robotics Research, vol.32, issue.14, pp.1611-1626, 2013.

A. Angeli, D. Filliat, S. Doncieux, and J. Meyer, Fast and Incremental Method for Loop-Closure Detection Using Bags of Visual Words, IEEE Transactions on Robotics, vol.24, issue.5, pp.1027-1037, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00652598

M. Cummins, P. Newman, and . Fab-map, Probabilistic Localization and Mapping in the Space of Appearance, vol.27, pp.647-665, 2008.

C. Stachniss, D. Hahnel, and W. Burgard, Exploration with active loop-closing for FastSLAM, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566), vol.2, pp.1505-1510, 2004.

L. A. Clemente, A. J. Davison, I. D. Reid, J. Neira, and J. D. Tardós, Mapping Large Loops with a Single Hand-Held Camera, Robotics: Science and Systems, vol.2, 2007.

C. Aubry, R. Desmare, and L. Jaulin, Loop detection of mobile robots using interval analysis, Automatica, vol.49, issue.2, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00773530

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

D. O'regan, Y. J. Cho, and Y. Q. Chen, Series in mathematical analysis and applications, p.64592216

P. Franek and S. Ratschan, Effective topological degree computation based on interval arithmetic, Mathematics of Computation, vol.84, issue.293, 2014.

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, Interval analysis, Prentice-Hall series in automatic computation, 1966.

E. R. Hansen, Interval arithmetic in matrix computations-part I, SIAM Journal on Numerical Analysis: Series B, vol.2, issue.2, pp.308-320, 1965.

T. F. Filippova, A. B. Kurzhanski, K. Sugimoto, and I. Vályi, Ellipsoidal State Estimation for Uncertain Dynamical Systems, pp.213-238, 1996.

F. Le-bars, J. Sliwka, L. Jaulin, and O. Reynet, Set-membership state estimation with fleeting data, Automatica, vol.48, issue.2, pp.381-387, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00670459

S. Rohou, L. Jaulin, L. Mihaylova, F. Le-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. Le-bars, and S. M. Veres, Reliable non-linear state estimation involving time uncertainties, Automatica, vol.93, pp.379-388, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01778187

T. Ra¨?ssira¨?ssi, N. Ramdani, and Y. Candau, Set membership state and parameter estimation for systems described by nonlinear differential equations, Automatica, vol.40, issue.10, pp.1771-1777, 2004.

A. Goldsztejn, W. Hayes, and P. Collins, Tinkerbell Is Chaotic, SIAM Journal on Applied Dynamical Systems, vol.10, issue.4, pp.1480-1501, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00835176

V. Drevelle and P. Bonnifait, High integrity GNSS location zone characterization using interval analysis, ION GNSS, pp.2178-2187, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00444819

F. Abdallah, A. Gning, and P. Bonnifait, Box particle filtering for nonlinear state estimation using interval analysis, Automatica, vol.44, issue.3, pp.807-815, 2008.

L. Jaulin and ´. E. Walter, Set inversion via interval analysis for nonlinear bounded-error estimation, Automatica, vol.29, issue.4, pp.1053-1064, 1993.

I. Fonseca and W. Gangbo, Degree theory in analysis and applications, no. 2 in Oxford lecture series in mathematics and its applications, 1995.

M. Furi, M. Pera, and M. Spadini, A Set of Axioms for the Degree of a Tangent Vector Field on Differentiable Manifolds, Fixed Point Theory and Applications, p.845631, 2010.

P. Franek, S. Ratschan, and P. Zgliczynski, Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers, Journal of Automated Reasoning, vol.57, issue.2, pp.157-185, 2016.

R. E. Moore, A Test for Existence of Solutions to Nonlinear Systems, SIAM Journal on Numerical Analysis, vol.14, issue.4, pp.611-615, 1977.

R. E. Moore and J. B. Kioustelidis, A simple test for accuracy of approximate solutions to nonlinear (or linear) systems, SIAM Journal on Numerical Analysis, vol.17, issue.4, pp.521-529, 1980.

K. Borsuk, Drei Sätzë uber die n-dimensionale euklidische

. Sphäre, Fundamenta Mathematicae, vol.20, issue.1, pp.177-190, 1933.

J. W. Milnor, Topology from the differentiable viewpoint, rev, 1997.

T. I. Fossen, Guidance and control of ocean vehicles, 1994.