Dagstuhl-Seminar — Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy

AI is a disruptive force. With growing applications in fields like healthcare, transportation, game playing, finance, or robotics in general, AI systems and methods are entering our everyday lives. Such tight interaction with AI requires serious safety, correctness, and reliability considerations. Recently, the field of safety in AI has triggered a vast amount of research. Via a diverse program with ample space for open yet guided discussion, we aim to address a number of key challenges that range across all fields.