Program
Program
07:00-08:30 Registration
| 8:30 | Invited Talk I: Nathalie Cauchi - Tools for Stochastic Hybrid Systems Quo Vadis |
09:30-10:00 Results of the ARCH Friendly Competition I
| 09:30 | Piecewise Constant Dynamics (lead: Goran Frehse) |
| 09:40 | Continuous and Hybrid Systems with Linear Dynamics (lead: Matthias Althoff) |
| 09:50 | Nonlinear Dynamics (lead: Fabian Immler) |
10:00-10:30 Coffee Break
10:30-12:00 Results of the ARCH Friendly Competition II and Contributed Papers
| 10:30 | Stochastic Models (lead: Alessandro Abate) |
| 10:40 | Bounded Model Checking (lead: Lei Bu) |
| 10:50 | Falsification (lead: Gidon Ernst) |
| 11:00 | Hybrid Programs (lead: Stefan Mitsch) |
| 11:10 | AI category (lead: Taylor Johnson) |
| 11:20 | Sophie Gruenbacher, Jacek Cyranka, Md Ariful Islam, Max Tschaikowski, Scott Smolka and Radu Grosu: Under the Hood of a Stand-Alone Lagrangian Reachability Tool |
| 11:40 | Stanley Bak and Kerianne Hobbs: Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees |
12:00-13:30 Lunch
13:30-15:00 Invited Talk II, Benckmark Proposals, and Discussion on Benchmark Formats
| 13:30 | Invited Talk II: Taylor Johnson - Verification for Autonomous Cyber-Physical Systems with Machine Learning Components |
| 14:30 | Maximilian Gaukler and Peter Ulbrich: Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing (benchmark proposal) |
| 14:40 | Diego Manzanas Lopez, Patrick Musau, Hoang Dung Tran and Taylor T Johnson: Verification of Closed-loop Systems with Neural Network Controllers (benchmark proposal) |
| 14:50 | Discussion on Benchmark Formats |
15:30-16:00 Coffe Break
| 16:00 | Discussion on Repeatability Evaluation |
Previous programs can be found here.