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

Fabian Immler
Fabian Immler
Xin Chen
Xin Chen
Niklas Kochdumper
Niklas Kochdumper
Yangge Li
Yangge Li
Mahendra Singh Tomar
Mahendra Singh Tomar

ARCH@ADHS, pp. 53-70, 2018.

Cited by: 0|Bibtex|Views3|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments