Program
Program (Friday July 09, 2021)
Since we will have a live online event, we shortened the program to accommodate as many time zones as possible. Recording of the workshop.
16:30-17:30 (CEST) Contributed Papers (10 min presentation, 5 min discussion)
| 16:30 | Zahra Ramezani, Alexandre Donze, Martin Fabian and Knut Åkesson: Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators |
| 16:45 | Niklas Kochdumper, Philipp Gassert and Matthias Althoff: Verification of Collision Avoidance for CommonRoad Traffic Scenarios |
| 17:00 | Jawher Jerray: ORBITADOR: A tool to analyze the stability of periodical dynamical systems |
| 17:15 | Matthias Althoff: Guaranteed State Estimation in CORA 2021 |
17:30-18:30 (CEST) Plenary Talk of Paulo Tabuada
18:30-19:30 (CEST) Results of the ARCH Friendly Competition
| 18:30 | Continuous and Hybrid Systems with Linear Dynamics (lead: Matthias Althoff) |
| 18:40 | Nonlinear Systems (lead: Luca Geretti) |
| 18:50 | Artificial Intelligence and Neural Network Control Systems (lead: Taylor Johnson) |
| 19:00 | Stochastic Models (lead: Alessandro Abate) |
| 19:10 | Falsification (lead: Gidon Ernst) |
| 19:20 | Hybrid Programs (lead: Stefan Mitsch) |
19:30-19:35 (CEST) Break
| 19:35 | Voting for ARCH 2021 Best Result Award |
| 19:40 | Discussion on the future of the friendly competition |
Previous programs can be found here.