Immler, Fabian;Althoff, Matthias;Benet, Luis;Chapoutot, Alexandre;Chen, Xin;Forets, Marcelo;Geretti, Luca;Kochdumper, Niklas;Sanders, David P.;Schilling, Christian
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Proc. of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
2019