ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
Fabian ImmlerMatthias AlthoffLuis BenetAlexandre ChapoutotXin ChenMarcelo ForetsLuca GerettiNiklas KochdumperDavid P. SandersChristian SchillingPublished in: ARCH@CPSIoTWeek (2019)