Old Web
English
Sign In
Acemap
>
Paper
>
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
2020
Matthias Althoff
Stanley Bak
Zongnan Bao
Marcelo Forets
Goran Frehse
Daniel Freire
Niklas Kochdumper
Yangge Li
Sayan Mitra
Rajarshi Ray
Christian Schilling
Stefan Schupp
Mark Wetzlinger
Keywords:
Hybrid system
Control theory
Computer science
Arch
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
4
Citations
NaN
KQI
[]