All times are CEST. This is a public event, no registration is required.
Workshop link: https://bbb.cit.tum.de/mat-jva-v7f
| 15:00 - 15:30 | Contributed Paper (12 min presentation, 8 min discussion) |
| 15:00 | Welcome Address |
| 15:10 | Ludovico Battista, Stefano Tonetta and Gianni Zampedri: SpaceEx Hybrid Models with LTL Properties (Benchmark Proposal) |
| 15:30 - 16:30 | Results of the ARCH Friendly Competition (7 min presentation, 3 min discussion) |
| 15:30 | Piecewise Constant Dynamics (lead: Lei Bu) |
| 15:40 | Continuous and Hybrid Systems with Linear Dynamics (lead: Matthias Althoff) |
| 15:50 | Nonlinear Systems (lead: Luca Geretti) |
| 16:00 | Falsification (lead: Claudio Menghi) |
| 16:10 | Artificial Intelligence and Neural Network Control Systems (lead: Taylor Johnson) |
| 16:20 | Hybrid Programs (lead: Stefan Mitsch) |