ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Luca Geretti Julien Alexandre Dit Sandretto Matthias Althoff Luis Benet Pieter Collins Parasara Sridhar Duggirala Marcelo Forets Edward Kim Stefan Mitsch Christian Schilling 0001 Mark Wetzlinger ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. 86-112 2022 ARCH@SAFECOMP https://doi.org/10.29007/fnzc conf/arch/2022 db/conf/arch/arch2022.html#GerettiSABCDFKM22