Other Professional Activities
Technical Reports
Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071)
Jyotirmoy Deshmukh, Bettina Könighofer, Dejan Ničković, and Filip Cano
Dagstuhl Reports, Volume 14, Issue 2, pp. 95-119, Schloss Dagstuhl – Leibniz-Zentrum für Informatik 2024.
Abstract: This report documents the program and the outcomes of the Dagstuhl Seminar "Safety Assurance for Autonomous Mobility" (24071). The seminar brought together an interdisciplinary group of researchers and practitioners from the fields of formal methods, cyber-physical systems, and artificial intelligence, with a common interest in autonomous mobility. Through a series of talks, working groups, and open problem discussions, participants explored the challenges and opportunities associated with ensuring the safety of autonomous systems in various domains, including industrial automation, automotive, railways, and aerospace. Key topics addressed included the need for industrial-grade autonomous products to operate reliably in safety-critical environments, highlighting the lack of standardized procedures for obtaining safety certifications for AI-based systems. Recent advancements in the verification and validation (V&V) of autonomous mobility systems were presented, focusing on requirements verification, testing, certification, and correct-by-design approaches. Overall, the seminar provided a comprehensive overview of the current state and future directions in safe autonomous mobility, emphasizing the need for interdisciplinary collaboration and innovation to address the complex challenges in this rapidly evolving field.
BibTex:
@Article{deshmukh_et_al:DagRep.14.2.95, author = {Deshmukh, Jyotirmoy and K\"{o}nighofer, Bettina and Ni\v{c}kovi\'{c}, Dejan and Cano, Filip}, title = {Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071)}, pages = {95--119}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2024}, volume = {14}, number = {2}, editor = {Deshmukh, Jyotirmoy and K\"{o}nighofer, Bettina and Ni\v{c}kovi\'{c}, Dejan and Cano, Filip}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.2.95}, URN = {urn:nbn:de:0030-drops-205009}, doi = {10.4230/DagRep.14.2.95}, annote = {Keywords: aerospace, automotive, autonomy, formal methods, railway} }
Accountable Software Systems (Dagstuhl Seminar 23411)
Bettina Könighofer, Joshua A. Kroll, Ruzica Piskac, Michael Veale, and Filip Cano Córdoba
Dagstuhl Reports, Volume 13, Issue 10, pp. 24-49, Schloss Dagstuhl – Leibniz-Zentrum für Informatik 2024.
Abstract: This report documents the program and the outcomes of Dagstuhl Seminar 23411 "Accountable Software Systems". The seminar brought together an interdisciplinary group of researchers from the fields of formal methods, machine learning, philosophy, political science, law, and policy studies to address the critical issue of accountability in the development and deployment of software systems. As these systems increasingly assume roles within safety-critical domains of society, including transportation, healthcare, recruitment, and the judiciary, the seminar aimed to explore the multifaceted concept of accountability, its significance, and its implementation challenges in this context. During the seminar, experts engaged deeply in discussions, presentations, and collaborative sessions, focusing on key themes such as the application of formal tools in socio-technical accountability, the impact of computing infrastructures on software accountability, and the innovation of formal languages and models to improve accountability measures. This interdisciplinary dialogue underscored the complexities involved in defining and operationalizing accountability, especially in light of technological advancements and their societal implications. The participants of the seminar reached a consensus on the pressing need for ongoing research and cross-disciplinary efforts to develop effective accountability mechanisms, highlighting the critical role of integrating socio-technical approaches and formal methodologies to enhance the accountability of autonomous systems and their contributions to society.
BibTex:
@Article{konighofer_et_al:DagRep.13.10.24, author = {K\"{o}nighofer, Bettina and Kroll, Joshua A. and Piskac, Ruzica and Veale, Michael and C\'{o}rdoba, Filip Cano}, title = {Accountable Software Systems (Dagstuhl Seminar 23411)}, pages = {24--49}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2024}, volume = {13}, number = {10}, editor = {K\"{o}nighofer, Bettina and Kroll, Joshua A. and Piskac, Ruzica and Veale, Michael and C\'{o}rdoba, Filip Cano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.24}, URN = {urn:nbn:de:0030-drops-198328}, doi = {10.4230/DagRep.13.10.24}, annote = {Keywords: accountability, Responsible Decision Making, Societal Impact of AI} }
Peer-Reviewing
- PC Member: ICLR (2025), IJCAI (2024), CAV-AE (2023, 2024), VMCAI-AE (2024), TACAS-AE (2025)
- Journal Reviewer: Science of Computer Programming (2024)
- Conference subreviewer: TACAS (2023), CAV-AE (2022), KR (2024), RV (2022), FMCAD (2021 - 2023), VMCAI (2024), AISoLA (2023, 2024)