P. Collins and A. Goldsztejn, The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems, Electronic Notes in Theoretical Computer Science, vol.223, pp.87-102, 2008.
DOI : 10.1016/j.entcs.2008.12.033

V. Drevelle, L. Jaulin, and B. Zerr, Guaranteed Characterization of the Explored Space of a Mobile Robot by using Subpavings, Proc. Symp. Nonlinear Control Systems (NOLCOS'13), 2013.
DOI : 10.3182/20130904-3-FR-2041.00167

URL : https://hal.archives-ouvertes.fr/hal-00914063

D. Dubois and H. Prade, Possibility Theory, 1988.
URL : https://hal.archives-ouvertes.fr/hal-01136336

A. Elfes, Sonar-based real world mapping and navigation, IEEE Transactions on Robotics and Automation, pp.249-265, 1987.
DOI : 10.1007/978-1-4613-8997-2_18

U. Frese, A Discussion of Simultaneous Localization and Mapping, Autonomous Robots, vol.20, issue.1, pp.25-42, 2006.
DOI : 10.1007/s10514-006-5735-x

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.
DOI : 10.1016/j.automatica.2006.02.024

R. Guyonneau, S. Lagrange, and L. Hardouin, A visibility information for multi-robot localization, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013.
DOI : 10.1109/IROS.2013.6696536

URL : https://hal.archives-ouvertes.fr/hal-00874164

L. Jaulin, Range-Only SLAM With Occupancy Maps: A Set-Membership Approach, IEEE Transactions on Robotics, vol.27, issue.5, pp.1004-1010, 2011.
DOI : 10.1109/TRO.2011.2147110

URL : https://hal.archives-ouvertes.fr/hal-00636000

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00845131

M. Langerwisch and B. Wagner, Building variable resolution occupancy maps assuming unknown but bounded sensor errors, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013.
DOI : 10.1109/IROS.2013.6697031

J. J. Leonard and H. F. Durrant-whyte, Dynamic map building for an autonomous mobile robot, International Journal of Robotics Research, vol.11, issue.4, 1992.
DOI : 10.1177/027836499201100402

I. Molchanov, The Theory of Random Sets, 2005.
DOI : 10.1007/978-1-4471-7349-6

J. Stephen-mullane, B. Vo, M. D. Adams, and B. Vo, Random Finite Sets for Robot Mapping & SLAM: New Concepts in Autonomous Robotic Map Representations, 2013.

O. Mullier, E. Goubault, M. Kieffer, and S. Putot, General inner approximation of vector-valued functions, Reliable Computing, vol.18, issue.0, pp.117-143, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00935773

N. Revol, K. Makino, and M. Berz, Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY, The Journal of Logic and Algebraic Programming, vol.64, issue.1, pp.135-154, 2005.
DOI : 10.1016/j.jlap.2004.07.008

URL : https://hal.archives-ouvertes.fr/inria-00071850

W. Tucker, A Rigorous ODE Solver and Smale???s 14th Problem, Foundations of Computational Mathematics, vol.2, issue.1, pp.53-117, 2002.
DOI : 10.1007/s002080010018

URL : http://www2.math.uu.se/~warwick/main/rodes/JFoCM.pdf

D. Wilczak and P. Zgliczynski, Cr-lohner algorithm, Schedae Informaticae, vol.20, pp.9-46, 2011.