2026-07-21T12:35:07Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:22610 2026-04-20T12:44:46Z ddc:004 open_access

Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy (Dagstuhl Seminar 24361) Jansen, Nils Kochenderfer, Mykel Kretinsky, Jan Tumova, Jana Galesloot, Maris artificial intelligence autonomous systems formal verification machine learning robotics 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Nils Jansen and Mykel Kochenderfer and Jan Kretinsky and Jana Tumova and Maris Galesloot 2025 Is Part Of Dagstuhl Reports, Volume 14, Issue 9 (2025) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.14.9.1 urn:nbn:de:0030-drops-226100 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.9.1 eng https://creativecommons.org/licenses/by/4.0/legalcode