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
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
Distributed reactive collision avoidance, Autonomous Robots, vol.31, issue.3, pp.10514-10525, 2012. ,
DOI : 10.1007/s10514-011-9267-7
Guaranteed innite horizon collision avoidance of unpredictable, dynamically constrained obstacles, Autonomous Robots, vol.101007, pp.10514-10525, 2012. ,
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
Provably safe navigation for mobile robots with limited eld-of-views in dynamic environments, Autonomous Robots, vol.10, pp.10514-10525, 1007. ,
Safety assessment of robot trajectories for navigation in uncertain and dynamic environments, Autonomous Robots, vol.10, pp.10514-10525, 1007. ,
Guaranteeing functional safety: design for provability and computer-aided verication, Autonomous Robots, vol.10, pp.10514-10525, 1007. ,
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