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 |