J. Alexandre, A. Sandretto, and . Chapoutot, Validated explicit and implicit Runge-Kutta methods. Reliable Computing, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01243053

J. Alexandre, A. Sandretto, and . Chapoutot, Validated simulation of differential algebraic equations, Reliable Computing, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01164474

J. Dit-sandretto, A. Chapoutot, and O. Mullier, Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties, Conference on Robotic Computation, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01490364

A. Censi, D. Calisi, A. De-luca, and G. Oriolo, A Bayesian framework for optimal motion planning with uncertainty, 2008 IEEE International Conference on Robotics and Automation, pp.1798-1805, 2008.
DOI : 10.1109/ROBOT.2008.4543469
URL : http://andrea.caltech.edu/pub/research/2008-icra-ppu-slides.pdf

J. Alexandre, A. Sandretto, and . Chapoutot, DynIBEX: a differential constraint library for studying dynamical systems (poster, Conference on Hybrid Systems: Computation and Control, 2016.

L. Jaulin, Path planning using intervals and graphs, Reliable Computing, vol.7, issue.1, pp.1-15, 2001.
DOI : 10.1023/A:1011400431065
URL : https://hal.archives-ouvertes.fr/hal-00845173

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, 2001.
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131

S. Karaman and E. Frazzoli, Optimal kinodynamic motion planning using incremental sampling-based methods, 49th IEEE Conference on Decision and Control (CDC), pp.7681-7687, 2010.
DOI : 10.1109/CDC.2010.5717430
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.469.810

S. Karaman and E. Frazzoli, Sampling-based algorithms for optimal motion planning . The international journal of robotics research, pp.846-894, 2011.
DOI : 10.1177/0278364911406761
URL : http://arxiv.org/abs/1105.1186

J. J. Kuffner and S. M. Lavalle, RRT-connect: An efficient approach to single-query path planning, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065), pp.995-1001, 2000.
DOI : 10.1109/ROBOT.2000.844730
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.7833

S. M. Lavalle, Rapidly-exploring random trees: a new tool for path planning, 1998.

S. M. Lavalle, Planning Algorithms, 2006.
DOI : 10.1017/CBO9780511546877

S. M. Lavalle and J. J. Kuffner, Rapidly-exploring random trees: Progress and prospects, Workshop on the Algorithmic Foundations of Robotics, 2000.

R. E. Moore, Interval Analysis, 1966.

N. S. Nedialkov, K. R. Jackson, and G. F. Corliss, Validated solutions of initial value problems for ordinary differential equations, Applied Mathematics and Computation, vol.105, issue.1, pp.21-68, 1999.
DOI : 10.1016/S0096-3003(98)10083-8

A. Neumaier, Interval Methods for Systems of Equations, 1990.
DOI : 10.1017/CBO9780511526473

I. Noreen, A. Khan, and Z. Habib, Optimal Path Planning using RRT* based Approaches: A Survey and Future Directions, International Journal of Advanced Computer Science and Applications, vol.7, issue.11, p.2016
DOI : 10.14569/IJACSA.2016.071114
URL : http://doi.org/10.14569/ijacsa.2016.071114

L. A. Page and A. C. Sanderson, Robot motion planning for sensor-based control with uncertainties, Proceedings of 1995 IEEE International Conference on Robotics and Automation, pp.1333-1340, 1995.
DOI : 10.1109/ROBOT.1995.525464

R. Pepy, M. Kieffer, and E. Walter, Reliable robust path planner, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2008.
DOI : 10.1109/IROS.2008.4650833

R. Pepy, M. Kieffer, and E. Walter, Reliable Robust Path Planning with Application to Mobile Robots, International Journal of Applied Mathematics and Computer Science, vol.19, issue.3, pp.413-424, 2009.
DOI : 10.2478/v10006-009-0034-2
URL : http://doi.org/10.2478/v10006-009-0034-2

R. Pepy and A. Lambert, Safe Path Planning in an Uncertain-Configuration Space using RRT, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.5376-5381, 2006.
DOI : 10.1109/IROS.2006.282101

P. Pharpatara, B. Hérissé, and Y. Bestaoui, 3-D Trajectory Planning of Aerial Vehicles Using RRT*, IEEE Transactions on Control Systems Technology, vol.25, issue.3, p.2016
DOI : 10.1109/TCST.2016.2582144
URL : https://hal.archives-ouvertes.fr/hal-01352038

P. Pharpatara, B. Hérissé, R. Pepy, and Y. Bestaoui, Shortest path for aerial vehicles in heterogeneous environment using RRT*, 2015 IEEE International Conference on Robotics and Automation (ICRA), 2015.
DOI : 10.1109/ICRA.2015.7140096
URL : https://hal.archives-ouvertes.fr/hal-01121767