Presentations and Videos
- Provably Safe Navigation for Mobile Robots with Limited Field-of-Views in Dynamic Environments, Thierry Fraichard
- Analyzing Safety for Mobile Robots in Partially Known Dynamic Indoor Environments, Bruno L’Esperance
- Evaluating Reactive and Planning-based Approaches for Safe Decentralized Motion Coordination, Kostas Bekris
- Efficient, Yet Safe, Robot Motion Planning in Dynamic, Uncertain Environments, Joel Burdick
- Worst-Case Deviations of Planned Trajectories for High-Speed Mobile Robots, Matthias Althoff
- Safe Avoidance of Dynamic Obstacles with Uncertain Motion Patterns, Jonathan How
- Guaranteeing Safety in Modern High-Performance Autonomous Systems, Jeremy Gillula and Patrick Bouffard
- Provably-Correct Sampling-based Algorithms for Motion Planning Problems with Complex Task Specifications, Sertac Karaman
- Guaranteed Safety: a Collision Avoidance Algorithm Designed for Provability and Computer-Aided Verification, Holger Taeubig
- Bio-Inspired Reactive Deconfliction and Stabilization, Kristi Morgansen
- Adaptive Time Horizon for On-Line Obstacle Avoidance in Dynamic Environments, Zvi Shiller
- Quadric Surface-Based Collision Avoidance Strategies for Motion Safety in 3-D Environments, Animesh Chakravarthy