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.