ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
Luca GerettiJulien Alexandre Dit SandrettoMatthias AlthoffLuis BenetAlexandre ChapoutotXin ChenPieter CollinsMarcelo ForetsDaniel FreireFabian ImmlerNiklas KochdumperDavid P. SandersChristian SchillingPublished in: ARCH (2020)