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.