Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling 0001, Mark Wetzlinger. ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear 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 32-54, EasyChair, 2021. [doi]
Abstract is missing.