Room 2 🔗
| Time | Title | Authors |
|---|---|---|
| 09:00 | Synthesis of Safe, Optimal and Compact Strategies for Cyber-Physical Systems | Larsen |
| 09:40 | Safety Verification of Decision-Tree Policies in Continuous Time | Schilling |
| 10:00 | How to Simulate Realistic Survival Data? A Simulation Study to Compare Realistic Simulation Models | Thurow, Dormuth, Sauer, Boulesteix, Ditzhaus, and Pauly |
| 10:20 | Discussion | |
| Coffee Break | ||
| 11:00 | Optimized Smart Sampling | Parmentier, Legay, and Chenoy |
| 11:20 | Towards a Formal Account on Negative Latency | Dubslaff, Schulz, Wienhöft, Baier, Fitzek, Kiebel, and Lehmann |
| 11:40 | Round Table Discussions | |