TOP
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
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
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)

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/24071

Organizers

Contact

Dagstuhl Reports

As part of the mandatory documentation, participants are asked to submit their talk abstracts, working group results, etc. for publication in our series Dagstuhl Reports via the Dagstuhl Reports Submission System.

  • Upload (Use personal credentials as created in DOOR to log in)

Dagstuhl Seminar Wiki

Shared Documents

Schedule
  • Upload (Use personal credentials as created in DOOR to log in)

Motivation

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

Participants

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

Keywords
  • autonomy
  • formal methods
  • automotive
  • railway
  • aerospace