Program (Tuesday May 09, 2023)

08:00 - 09:00


Zoom Link:

09:00 - 10:00 Contributed Papers (12 min presentation, 8 min discussion)
09:00Goran Frehse: Welcome Address
09:20Sanaz Sheikhi and Stanley Bak: Closed-Loop ACAS Xu Neural Network Verification (Benchmark Proposal)
09:40Matthias Althoff: Checking and Establishing Reachset Conformance in CORA 2023
10:00 - 10:30 Coffee Break
10:30 - 12:00 Results of the ARCH Friendly Competition
10:30Piecewise Constant Dynamics (lead: Lei Bu)
10:40Continuous and Hybrid Systems with Linear Dynamics (lead: Matthias Althoff)
10:50Nonlinear Systems (lead: Luca Geretti)
11:00Stochastic Models (lead: Alessandro Abate)
11:10Falsification (lead: Gidon Ernst)
11:20Artificial Intelligence and Neural Network Control Systems (lead: Taylor Johnson)
11:30Hybrid Programs (lead: Stefan Mitsch)
11:40Voting for ARCH 2023 Best Result Award