173 | -- | 175 | Thierry Fraichard, James J. Kuffner Jr.. Guaranteeing motion safety for robots |
177 | -- | 187 | Lionel Lapierre, René Zapata. A guaranteed obstacle avoidance guidance system - The safe maneuvering zone |
189 | -- | 205 | Rongxin Cui, Bo Gao, Ji Guo. Pareto-optimal coordination of multiple robots with safety guarantees |
207 | -- | 226 | Emmett Lalish, Kristi A. Morgansen. Distributed reactive collision avoidance |
227 | -- | 242 | Albert Wu, Jonathan P. How. Guaranteed infinite horizon avoidance of unpredictable, dynamically constrained obstacles |
243 | -- | 266 | Animesh Chakravarthy, Debasish Ghose. Generalization of the collision cone approach for motion safety in 3-D environments |
267 | -- | 283 | Sara Bouraine, Thierry Fraichard, Hassen Salhi. Provably safe navigation for mobile robots with limited field-of-views in dynamic environments |
285 | -- | 302 | Daniel Althoff, James J. Kuffner, Dirk Wollherr, Martin Buss. Safety assessment of robot trajectories for navigation in uncertain and dynamic environments |
303 | -- | 331 | Holger Täubig, Udo Frese, Christoph Hertzberg, Christoph Lüth, Stefan Mohr, Elena Vorobev, Dennis Walter. Guaranteeing functional safety: design for provability and computer-aided verification |
333 | -- | 349 | Sebastien Rubrecht, Vincent Padois, Philippe Bidaud, Michel de Broissia, Max Da Silva Simoes. Motion safety and constraints compatibility for multibody robots |