Dagstuhl Seminar 24071
Safety Assurance for Autonomous Mobility
( Feb 11 – Feb 16, 2024 )
Permalink
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)
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)
Shared Documents
- Dagstuhl Materials Page (Use personal credentials as created in DOOR to log in)
Schedule
- Upload (Use personal credentials as created in DOOR to log in)
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.
- Houssam Abbas (Oregon State University - Corvallis, US) [dblp]
- Ezio Bartocci (TU Wien, AT) [dblp]
- Christof Budnik (Siemens - Princeton, US)
- Filip Cano (TU Graz, AT) [dblp]
- Mauricio Castillo-Effen (Lockheed Systems - Arlington, US) [dblp]
- Chih-Hong Cheng (Universität Hildesheim, DE) [dblp]
- Patricia Derler (Zoox Inc. - Foster City, US)
- Jyotirmoy Deshmukh (USC - Los Angeles, US) [dblp]
- Rayna Dimitrova (CISPA - Saarbrücken, DE) [dblp]
- Marie Farrell (University of Manchester, GB)
- Michael Fisher (University of Manchester, GB) [dblp]
- Martin Fränzle (Universität Oldenburg, DE) [dblp]
- Mahsa Ghasemi (Purdue University - West Lafayette, US)
- Radu Grosu (TU Wien, AT) [dblp]
- Rong Gu (Mälardalen University - Västerås, SE)
- Ichiro Hasuo (National Institute of Informatics - Tokyo, JP) [dblp]
- Bardh Hoxha (Toyota Research Institute North America- Ann Arbor, US)
- Taylor T. Johnson (Vanderbilt University - Nashville, US) [dblp]
- Panagiotis Katsaros (Aristotle University of Thessaloniki, GR)
- Bettina Könighofer (TU Graz, AT) [dblp]
- Thierry Lecomte (CLEARSY - Aix-en-Provence, FR) [dblp]
- Lars Lindemann (USC - Los Angeles, US)
- Assaf Marron (Weizmann Institute - Rehovot, IL)
- Sayan Mitra (University of Illinois - Urbana Champaign, US) [dblp]
- Selma Music (Denso Automotive - Eching, DE)
- Dejan Nickovic (AIT - Austrian Institute of Technology - Wien, AT) [dblp]
- Necmiye Ozay (University of Michigan - Ann Arbor, US) [dblp]
- Giulia Pedrielli (Arizona State University - Tempe, US) [dblp]
- Doron A. Peled (Bar-Ilan University - Ramat Gan, IL) [dblp]
- Stefan Pranger (TU Graz, AT)
- Andoni Rodríguez (IMDEA Software Institute - Madrid, ES)
- Darko Stern (AVL - Graz, AT)
- Alessandro Zanardi (ETH Zürich, CH)
- Dirk Ziegenbein (Robert Bosch GmbH - Renningen, DE) [dblp]
Classification
- Artificial Intelligence
- Logic in Computer Science
- Systems and Control
Keywords
- autonomy
- formal methods
- automotive
- railway
- aerospace