Skip to content

Program

  • 08:45-09:00: Greetings of the participants
  • 09:00-10:30: Session 1
    1. Provably Safe Navigation for Mobile Robots with Limited Field-of-Views in Dynamic Environments. Thierry Fraichard, INRIA Grenoble Rhone-Alpes (FR)
    2. Analyzing Safety for Mobile Robots in Partially Known Dynamic Indoor Environments. Bruno L’Esperance, Simon Fraser University (CA)
    3. Evaluating Reactive and Planning-based Approaches for Safe Decentralized Motion Coordination. Kostas Bekris, University of Nevada Reno (US)
  • 10:30-10:45: Coffee break
  • 10:45-12:15: Session 2
    1. Efficient, Yet Safe, Robot Motion Planning in Dynamic, Uncertain Environments. Joel Burdick, California Institute of Technology, Pasadena (US)
    2. Worst-Case Deviations of Planned Trajectories for High-Speed Mobile Robots. Matthias Althoff, Carnegie Mellon University, Pittsburgh (US)
    3. Safe Avoidance of Dynamic Obstacles with Uncertain Motion Patterns. Jonathan How, Massachusetts Institute of Technology (US)
  • 12:15-13:30: Lunch break
  • 13:30-15:00: Session 3
    1. Guaranteeing Safety in Modern High-Performance Autonomous Systems. Jeremy Gillula and Patrick Bouffard, University of California Berkeley (US)
    2. Provably-Correct Sampling-based Algorithms for Motion Planning Problems with Complex Task Specifications. Sertac Karaman, Massachusetts Institute of Technology (US)
    3. Guaranteed Safety: a Collision Avoidance Algorithm Designed for Provability and Computer-Aided Verification. Holger Taeubig, German Research Center for Artificial Intelligence, Bremen (DE)
  • 15:00-15:30: Coffee break
  • 15:30-17:00: Session 4
    1. Bio-Inspired Reactive Deconfliction and Stabilization. Kristi Morgansen, University of Washington (US)
    2. Adaptive Time Horizon for On-Line Obstacle Avoidance in Dynamic Environments. Zvi Shiller, Ariel University Center (IL)
    3. Quadric Surface-Based Collision Avoidance Strategies for Motion Safety in 3-D Environments. Animesh Chakravarthy, Wichita State University (US)

Location

  • USC Campus, Grace Ford Salvatori Building (GFS), room 109