ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling 0001, Stefan Schupp, Mark Wetzlinger. ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. In Goran Frehse, Matthias Althoff, editors, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. Volume 80 of EPiC Series in Computing, pages 1-31, EasyChair, 2021. [doi]

Abstract

Abstract is missing.