Program (Tuesday May 09, 2023)
08:00 - 09:00 | Breakfast/Continental Zoom Link: https://zoom.us/j/97903297749 |
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 |