15 September 2025
14:00-14:05 Introduction
14:05-14:35 Invited talk: Real-world congestion management of power grids with Artificial Intelligence | Jan Viebahn (TenneT)
14:35-14:55 Continuous Assessment-Driven Requirement Elicitation for Trustworthy AI Systems | Anna Fedorova (ZHAW), Wolfgang Stefani (ZHAW), Christoph Heitz (ZHAW), Ricardo Chavarriaga (ZHAW)
14:55-15:15 Beyond Correctness: Architecting Trustworthy Software for Autonomous Systems in the Age of AI | Muhammad Atif (University of Florence), Tommaso Zoppi (University of Florence), Andrea Bondavalli (University of Florence )
15:15-15:35 Multi-Objective Reinforcement Learning for Safety-Critical Gas Grid Management: Lessons from Real-World Pilot Deployment | Alexander Schiendorfer (Technische Hochschule Ingolstadt), Thomas Schmidt (Technische Hochschule Ingolstadt), Karima Outafraout (Technische Hochschule Ingolstadt), Michelle Baschin (PSI Software SE), Yuguang Hei (PSI Software SE), Tom Streubel (PSI Software SE), Pascal Kätzel (PSI Software SE), Lilia Michailov (PSI Software SE), Rudolf Felix (PSI Software SE), Lars Harpeng (Avacon GmbH)
15:35-16:05 Invited talk: Applied reinforcement learning for critical infrastructure operations | Anton Fuxjäger (enliteAI)
16:05-16:25 Constructing Safety Shields for Reinforcement Learning agents with System-Theoretic Process Analysis | Akira King (Aalto University), Erald Shahinas (Aalto University), Udayanto Atmojo (Aalto University)
16:25-16:45 Coffee break
16:45-17:05 Guidelines for Safe and Robust Reinforcement Learning: from Definitions to Design | Taku Yamagata (University of Bristol), Raul Santos-Rodriguez (University of Bristol)
17:05-17:25 Differentiating Adversarial Attacks from Natural Sensory Anomalies in Object Detection | Robert Lowe (RISE Research Institutes of Sweden), Maria Ulan (RISE Research Institutes of Sweden), Thanh Hai Bui (RISE Research Institutes of Sweden), Gabriele Giordana (AIKO S.r.l.), Tobia Giani (AIKO S.r.l.), Francesco Rossi (AIKO S.r.l.)
17:25-17:55 Invited talk: Safe Reinforcement Learning for Critical Infrastructures | Alberto Maria Metelli (POLIMI)
17:55-18:00 Closing