ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
Luca GerettiJulien Alexandre Dit SandrettoMatthias AlthoffLuis BenetPieter CollinsMarcelo ForetsElena IvanovaYangge LiSayan MitraStefan MitschChristian SchillingMark WetzlingerDaniel ZhuangPublished in: ARCH (2023)