Old Web
English
Sign In
Acemap
>
Paper
>
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
2020
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
Keywords:
Arch
Applied mathematics
Nonlinear system
Hybrid system
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
3
Citations
NaN
KQI
[]