DagRep.14.9.1.pdf
- Filesize: 2.11 MB
- 21 pages
Document
Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy (Dagstuhl Seminar 24361)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 14, Issue 9
Volume: Dagstuhl Reports, Volume 14
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2025-04-04
Cite As Get BibTex
Nils Jansen, Mykel Kochenderfer, Jan Kretinsky, Jana Tumova, and Maris Galesloot. Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy (Dagstuhl Seminar 24361). In Dagstuhl Reports, Volume 14, Issue 9, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
https://doi.org/10.4230/DagRep.14.9.1
Abstract
This report documents the program and outcomes of Dagstuhl Seminar 24361, "Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy." AI is a disruptive force with growing applications in everyday life. Therefore, AI systems require serious safety, correctness, and reliability considerations. Recently, the field of safety in AI has triggered a vast amount of research. This seminar brought together experts from the fields of artificial intelligence, formal methods, and robotics. Via a diverse program with ample space for open yet guided discussion, a common understanding of problems was developed. Consequently, the seminar provided a means to identify key challenges and open problems in the research areas that underpin reliable autonomy.
Subject Classification
ACM Subject Classification
- Computing methodologies → Artificial intelligence
Keywords
- artificial intelligence
- autonomous systems
- formal verification
- machine learning
- robotics
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads