L. Lapierre and R. Zapata, A guaranteed obstacle avoidance guidance system, Autonomous Robots, vol.38, issue.5, pp.10514-10525, 2012.
DOI : 10.1007/s10514-011-9269-5

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

R. Cui, B. Gao, and J. Guo, Pareto-optimal coordination of multiple robots with safety guarantees, Autonomous Robots, vol.8, issue.5, pp.10514-10525, 1007.
DOI : 10.1007/s10514-011-9265-9

E. Lalish and K. Morgansen, Distributed reactive collision avoidance, Autonomous Robots, vol.31, issue.3, pp.10514-10525, 2012.
DOI : 10.1007/s10514-011-9267-7

A. Wu and J. How, Guaranteed innite horizon collision avoidance of unpredictable, dynamically constrained obstacles, Autonomous Robots, vol.101007, pp.10514-10525, 2012.

A. Chakravarthy and D. Ghose, Generalization of the collision cone approach for motion safety in 3-D environments, Autonomous Robots, vol.19, issue.4, pp.10514-10525, 1007.
DOI : 10.1007/s10514-011-9270-z

S. Bouraine, T. Fraichard, and H. Salhi, Provably safe navigation for mobile robots with limited eld-of-views in dynamic environments, Autonomous Robots, vol.10, pp.10514-10525, 1007.

D. Altho, J. Kuner, D. Wollherr, and M. Buss, Safety assessment of robot trajectories for navigation in uncertain and dynamic environments, Autonomous Robots, vol.10, pp.10514-10525, 1007.

H. Taübig, U. Frese, C. Hertzberg, C. Luth, S. Mohr et al., Guaranteeing functional safety: design for provability and computer-aided verication, Autonomous Robots, vol.10, pp.10514-10525, 1007.

S. Rubrecht, V. Padois, P. Bidaud, M. De-broissia, and M. Da-silva-simoes, Motion safety and constraints compatibility for multibody robots, Autonomous Robots, vol.11, issue.2, pp.10514-10525, 1007.
DOI : 10.1007/s10514-011-9264-x

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