Dagstuhl Seminar 24071
Safety Assurance for Autonomous Mobility
( Feb 11 – Feb 16, 2024 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/24071
Organizers
- Jyotirmoy Deshmukh (USC - Los Angeles, US)
- Bettina Könighofer (TU Graz, AT)
- Dejan Nickovic (AIT - Austrian Institute of Technology - Wien, AT)
- Ufuk Topcu (University of Texas - Austin, US)
Contact
- Michael Gerke (for scientific matters)
- Jutka Gasiorowski (for administrative matters)
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.
Creative Commons BY 4.0
Jyotirmoy Deshmukh, Bettina Könighofer, Dejan Nickovic, and Ufuk Topcu
Classification
- Artificial Intelligence
- Logic in Computer Science
- Systems and Control
Keywords
- autonomy
- formal methods
- automotive
- railway
- aerospace
