Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy (Dagstuhl Seminar 24361)

Jansen, Nils; Kochenderfer, Mykel; Kretinsky, Jan; Tumova, Jana; Galesloot, Maris

doi:10.4230/DagRep.14.9.1

Document

Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy (Dagstuhl Seminar 24361)

Authors Nils Jansen, Mykel Kochenderfer, Jan Kretinsky, Jana Tumova, Maris Galesloot and all authors of the abstracts in this report

Part of: Issue: Dagstuhl Reports, Volume 14, Issue 9
Part of: Volume: Dagstuhl Reports, Volume 14
Part of: Journal: Dagstuhl Reports (DagRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2025-04-04

PDF

File

PDF

DagRep.14.9.1.pdf

Filesize: 2.11 MB
21 pages

Document Identifiers

DOI: 10.4230/DagRep.14.9.1
URN: urn:nbn:de:0030-drops-226100

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)

0

PDF Downloads

0

Metadata Views

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.

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

Author Details

Nils Jansen

Ruhr-Universität Bochum, DE

Mykel Kochenderfer

Stanford University, US

Jan Kretinsky

Masaryk University - Brno, CZ

Jana Tumova

KTH Royal Institute of Technology - Stockholm, SE

Maris Galesloot

Radboud University - Nijmegen, NL

and all authors of the abstracts in this report

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail