Visible to the public Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH)

The workshop aims at bringing together researchers and practitioners from the verification of cyber-physical systems.