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

Luca Geretti, Julien Alexandre dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang

Research output: Contribution to journal › Conference article › peer-review

Fingerprint

Dive into the research topics of 'ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Chemistry