Old Web
English
Sign In
Acemap
>
Paper
>
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
2018
Fabian Immler
Matthias Althoff
Xin Chen
Chuchu Fan
Goran Frehse
Niklas Kochdumper
Yangge Li
Sayan Mitra
Mahendra Singh Tomar
Majid Zamani
Keywords:
Arch
Hybrid system
Nonlinear system
Control theory
Mathematics
Applied mathematics
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
11
Citations
NaN
KQI
[]