Room: 2
| Time | Title | Authors |
|---|---|---|
| 09:00 | Some Recent Perspectives on Ensuring Neural Networks Safety | Křetı́nský |
| 09:40 | What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems | Bensalem, Cheng, Huang, Huang, Wu, and Zhao |
| 10:00 | DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes | Al-Qadasi, Falcone, and Bensalem |
| 10:20 | Discussion | |
| Coffee Break | ||
| 11:00 | Shielded Learning for Resilience and Performance based on Statistical Model Checking in Simulink | Adelt, Bruch, Herber, Niehage, and Remke |
| 11:20 | Formal XAI via Syntax-Guided Synthesis | Bjørner, Judson, Cano, Goldman, Shoemaker, Piskac, and Bettina |
| 11:40 | Partially Observable Environments with Active Measuring | Krale |