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.