International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | Trustworthy, Traceable, and Compliant: Run-Time Validation of AI Explanations for Autonomous Vehicles under the EU AI Act | Dominik Grundt, Maike Schwammberger |
| 11:30 | Enhancing AI Interpretability and Safety through Localised Architectures | Ian Seet, Jonas Bozenhard, Simon Osterman |
| 12:00 | Beyond XAI: Orchestrating Multi‑Source Explanations at Run Time Using Lookup Table | Hanwei Zhang, Akhila Bairy |