Room: 2

14:30Situation Recognition in Complex Operational Domains using Temporal and Description Logics – A Motivation from the Automotive DomainWesthofen, Neurohr, Neider, and Jung
14:50Identifying and Testing SOTIF Triggering Condition for the Safety Verification and Validation of Automated Driving SystemsZhu and Howar
15:10A Note on Confidence Awareness in Automotive PerceptionHungar
15:30CoCoVa: A Validation Framework for Autonomous SystemsAmeling, Hörstrup, Kullmann, Linnenberg, Mputu, Pazarci, Radtke, Schwarzer, Steffen, Stegmaier, Weißenfels, Zohren, Dierl, Tegeler, and Wirkner
Coffee Break
16:30Towards ML-Integration and Training Patterns for AI-Enabled SystemsPeldszus, Knopp, Sens, and Berger
17:00Maximizing Confidence in Safety-Critical Decisions of Automated Vehicles that are Grounded in ML-based Environmental Perception — Rendering AVs "Safer than Perception"Fränzle
17:30Using AI in the Verification and Validation of Automated Driving SystemsHungar