ISoLA & AISoLA 2026

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

Talk

Trustworthy, Traceable, and Compliant: Run-Time Validation of AI Explanations for Autonomous Vehicles under the EU AI Act

Time: Thursday, 29.10

Room: Room 1

Authors: Dominik Grundt, Maike Schwammberger