Program (Tuesday May 09, 2023)

08:00-09:00 Breakfast/Continental

Zoom Link :

09:00-10:00 Contributed Papers (12 min presentation, 8 min discussion)

09:00 Goran Frehse: Welcome Address
09:20 Sanaz Sheikhi and Stanley Bak: Closed-Loop ACAS Xu Neural Network Verification (Benchmark Proposal)
09:40 Matthias 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:30 Piecewise Constant Dynamics (lead: Lei Bu)
10:40 Continuous and Hybrid Systems with Linear Dynamics (lead: Matthias Althoff)
10:50 Nonlinear Systems (lead: Luca Geretti)
11:00 Stochastic Models (lead: Alessandro Abate)
11:10 Falsification (lead: Gidon Ernst)
11:20 Artificial Intelligence and Neural Network Control Systems (lead: Taylor Johnson)
11:30 Hybrid Programs (lead: Stefan Mitsch)
11.40 Voting for ARCH 2023 Best Result Award

12:00-13:30 Lunch


Previous programs can be found here.