Program (Wednesday June 04, 2025)
Link: https://bbb.cit.tum.de/mat-jva-v7f
All times are CEST. This is a public event, no registration is required.
| 16:00 | Welcome Address |
| 16:10 | Piecewise Constant Dynamics (lead: Lei Bu) |
| 16:20 | Continuous and Hybrid Systems with Linear Dynamics (lead: Matthias Althoff) |
| 16:30 | Nonlinear Systems (lead: Luca Geretti) |
| 16:40 | Falsification (lead: Claudio Menghi) |
| 16:50 | Stochastic Models (lead: Abolfazl Lavaei) |
| 17:00 | Artificial Intelligence and Neural Network Control Systems (lead: Taylor Johnson) |
| 17:10 | Hybrid Programs (lead: Stefan Mitsch) |
| 17:20 | Repeatability Evaluation (lead: Tobias Ladner) |
| 17:30 | Voting for ARCH 2025 Best Result Award |