J. Latombe, Robot Motion Planning, 1991.

A. Gasparetto, P. Boscariol, A. Lanzutti, and R. Vidoni, Trajectory planning in robotics, Mathematics in Computer Science, vol.6, issue.3, pp.269-279, 2012.

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

B. Desrochers and L. Jaulin, Computing a guaranteed approximation of the zone explored by a robot, IEEE Transactions on Automatic Control, vol.62, issue.1, pp.425-430, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01298366

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

J. Minguez, J. Laumond, and F. Lamiraux, Motion planning and obstacle avoidance, Springer Handbook of Robotics, pp.827-852, 2008.

M. Stilman, Global Manipulation Planing in Robot Joint Space with Task Constraints, vol.26, pp.576-584, 2010.

C. Faria, F. Ferreira, W. Erlhagen, S. Monteiro, and E. A. Bicho, Position-based kinematics for 7-DoF serial manipulators with global configuration control, joint limit and singularity avoidance, Mechanism and Machine Theory, vol.121, pp.317-334, 2018.

S. Pellegrinelli, A. Orlandini, N. Pedrocchi, A. Umbrico, and T. Tullio, Motion planning and scheduling for human and robot collaboration, CIRP Annals -Manufacturing Technology, vol.66, issue.1, pp.1-4, 2017.

J. García-de-jalón, J. Cuadrado, A. Avello, and J. Jimenez, Kinematic and Dynamic Simulation of Rigid and Flexible Systems with Fully Cartesian Coordinates, NATO Science Series, vol.268, pp.285-323, 1994.

F. Rossi, P. Van-beek, and T. Walsh, of Foundations of Artificial Intelligence, Handbook of Constraint Programming, vol.2, 2006.

L. Granvilliers and F. Benhamou, Algorithm 852: Realpaver: an interval solver using constraint satisfaction techniques, ACM TOMS, vol.32, issue.1, pp.138-156, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00480813

G. Chabert, IBEX (Interval-Based EXplorer): A C++ library for solving nonlinear constraints over real numbers, 2007.

P. Van-hentenryck, M. Laurent, and D. Yves, Numerica: A Modeling Language for Global Optimization, vol.228, pp.57-74, 1997.

P. Van-hentenryck, A gentle introduction to NUMERICA, Artificial Intelligence, vol.103, issue.1-2, pp.209-235, 1998.

M. Carlsson, G. Ottosson, and B. Carlson, An open-ended finite domain constraint solver, Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, pp.191-206, 1997.

M. T. Khong, Y. Deville, P. Schaus, and C. Lecoutre, Efficient reification of table constraints, 29th IEEE International Conference on Tools with Artificial Intelligence, vol.2017, pp.118-122, 2017.