Fingerprint
Dive into the research topics of 'ARCH-COMP20 category report: Continuous and hybrid systems with nonlinear dynamics'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
ARCH-COMP20 category report: Continuous and hybrid systems with nonlinear dynamics
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling
Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review
45
Downloads
(Pure)