Schedule

The workshop will take place between 08:00 am  and 12:00 pm, on the 15 of October, in Room 7. 

08:00 - 08:20: Welcome and Introduction

08:20 - 08:40: Jishnu Keshavan - "Real-time constrained data-driven tracking control of redundant manipulators with formal guarantees"

08:40 - 09:00: Chuchu Fan - "A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling"

09:00 - 09:20: Marie Farrell - "Formal Specification and Verification for Autonomous Robots"

09:20 - 09:40: Changliu Liu - "Verification of deep neural networks in robotic systems"

09:40 - 10:00: Majid Zamani - "A Correct-by-Construction Paradigm for Designing Autonomous Systems"

10:00 - 10:30: Teaser/Poster session with Coffee break

10:30 - 10:50: Shinkyu Park - "Passivity, Stability, and Learning in Multi-Robot Games"

10:50 - 11:10: Christos Verginis - "The Role of Control in Timed Temporal Logic-based Planning of Autonomous Systems"

11:10 - 11:50: Round table (panel) discussion