International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 16:30 | Robust Conformal Prediction for Safe Cyber-Physical Systems under Distribution Shift | Lars Lindemann |
| 17:00 | Robust AI for Multimodal Medical Data, Decision Support, and Automation | Darko Stern |
| 17:30 | Robust Integration of AI-based Decision Making into Human-Cyber-Physical Systems | Janis Kröger, Martin Fränzle |
| 18:00 | Calibrate-Then-Delegate: Safety Monitoring with Risk and Budget Guarantees via Model Cascades | Nicola Paoletti |