ISoLA & AISoLA 2026

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece

Talk

When Classical Risk Models Meet AI: Fault Tree Analysis for AI Systems

Time: Thursday, 29.10

Room: Room 2

Authors: Nazareno Garagiola, Hanwei Zhang, Holger Hermanns