| 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 |