Document Open Access Logo

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

PDF

File

Thumbnail PDF
PDF
DagRep.14.9.1.pdf
  • Filesize: 2.11 MB
  • 21 pages

Document Identifiers

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
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact