2024-07-112024-07-112024-07-11https://infoscience.epfl.ch/handle/20.500.14299/1834313rd International Workshop on Applied Verification for Continuous and Hybrid Sytems, ARCH16