Room 2 🔗

09:00Synthesis of Safe, Optimal and Compact Strategies for Cyber-Physical SystemsLarsen
09:40Safety Verification of Decision-Tree Policies in Continuous TimeSchilling
10:00How to Simulate Realistic Survival Data? A Simulation Study to Compare Realistic Simulation ModelsThurow, Dormuth, Sauer, Boulesteix, Ditzhaus, and Pauly
Coffee Break
11:00Optimized Smart SamplingParmentier, Legay, and Chenoy
11:20Towards a Formal Account on Negative LatencyDubslaff, Schulz, Wienhöft, Baier, Fitzek, Kiebel, and Lehmann
11:40Round Table Discussions