Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Seminar 24071

Safety Assurance for Autonomous Mobility

( Feb 11 – Feb 16, 2024 )

(Click in the middle of the image to enlarge)

Please use the following short url to reference this page:



Shared Documents


The tremendous potential of driverless cars and other autonomous vehicles is contrasted by the growing concerns about their safety. Recent accidents have highlighted the risks autonomous vehicles pose to occupants, pedestrians, and other road users. The uptake of autonomous mobility systems relies upon public trust in the safety of these systems, which poses an inherently inter-disciplinary problem, related to multiple fields such as autonomy, machine learning, formal methods, control theory, automotive, railway, and aerospace.

This Dagstuhl Seminar aims to bring together researchers from both academia and industry in these areas. Participants will identify and discuss recent trends, open issues, industry standardization and new techniques related to the safety assurance of autonomous vehicles.

The short-term goal of the seminar is to identify specific needs that originate from the various application domains and to develop a methodology for safety assurance of autonomous vehicles. This methodology includes new methods and tools to rigorously design, test, verify, and monitor autonomous vehicles. We aim for a CACM article on "Safe Autonomous Mobility" summarizing the discussed methods as much as for new international collaborative research initiatives. The longer-term objective is to establish a standard methodology to develop and certify autonomous vehicles.

Copyright Jyotirmoy Deshmukh, Bettina Könighofer, Dejan Nickovic, and Ufuk Topcu


  • Artificial Intelligence
  • Logic in Computer Science
  • Systems and Control

  • autonomy
  • formal methods
  • automotive
  • railway
  • aerospace