Program
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 |
12:00-13:30 Lunch
Previous programs can be found here.