Recent advances in technology have led to a rapid growth of interest in applying robotic systems in safety-critical domains such as transportation (autonomous driving), medical fields (surgical robots), manufacturing (assembly-line robots), and space exploration (autonomous rovers). However, this comes with several challenges: modern robotic systems not only present complex dynamics and have to deal with uncertainty, but also include machine learning components, such as neural network controllers. Because of these challenges, ensuring the robustness and safety of modern robotics systems is still an open question that requires an interdisciplinary approach between robotics, control, formal methods, and machine learning.
This workshop aims to bring together researchers interested in the broad area of safe and verifiable autonomy, which includes experts from the robotics, controls, machine learning, cyber-physical systems, and logic communities, as well as researchers working in the emerging area of safe and trustworthy AI. We attempt to highlight recent advances in these communities, discuss open problems and main challenges, and lay out new research directions.
- How to quantify data uncertainty for the purposes of controls?
- How to build robust and reliable machine learning models?
- How can robots safely interact with humans?
- Role of logic and formal methods in machine learning and robotics?
- What are the available tools and benchmarks?
- How to define/agree on a set of standard benchmark problems?
University of Colorado Boulder
Delft University of Technology
Professor of Robotics
TU Munich and Univ. of Toronto
Invited Speakers and Panelists (confirmed)
- Marco Pavone, Associate Professor, Stanford University
- Chuchu Fan, Assistant Professor, MIT
- Nicola Paoletti, Associate Professor, King’s College London
- Calin Belta, Professor, Boston University
- Changliu Liu, Assistant Professor, Carnegie Mellon University
- Negar Mehr, Assistant Professor, University of Illinois at Urbana-Champagne
- Mathias Lechner, Postdoc, MIT
- Andrea Patanè, Assistant Professor, Trinity College Dublin
- Yasser Shoukry, Assistant Professor, University of California Irvine
We invite submissions of poster abstracts on any topic within the theme of the workshop: safe and verifiable autonomy. We accept published and ongoing work. The authors of the accepted abstracts will present their posters at the workshop. In addition, the pdf file of the posters along with their abstracts will be made available for general public on the workshop website.
Abstracts should be 1-2 page long in RSS paper format and are submitted through EasyChair.
Some of the abstracts may be invited to be extended into an article for publication in a special issue of a journal.
- Abstract submission: June 8, 2023
- Notification: June 10, 2023
- Camera Ready: July 3, 2023
- Workshop: July 10, 2023
- 8:45 - 9:00 Welcome and Introduction
- 9:00 - 9:30 Keynote Speaker 1
- 9:30 - 10:00 Keynote Speaker 2
- 10:00 - 10:30 Keynote Speaker 3
- 10:30 - 10:45 Coffee Break (poster setup)
- 10:45 - 11:45 Panel Discussion 1
- 11:45 - 12:15 Invited Talk 1
- 12:15 - 12:30 Poster Spotlight Talks
- 12:30 - 14:00 Lunch Break
- 14:00 - 14:30 Invited Talk 2
- 14:30 - 15:00 Invited Talk 3
- 15:00 - 15:30 Invited Talk 4
- 15:30 - 15:00 Coffee Break (poster session)
- 15:45 - 16:15 Invited Talk 5
- 16:15 - 16:45 Invited Talk 6
- 16:45 - 17:45 Panel Discussion 2 & Concluding Remarks
- 17:45 – 18:45 Poster Presentations