ARCH-COMP19 Category Report - Continuous and Hybrid Systems with Nonlinear Dynamics

Luis Benet
Luis Benet
Alexandre Chapoutot
Alexandre Chapoutot
Xin Chen
Xin Chen
Marcelo Forets
Marcelo Forets
Luca Geretti
Luca Geretti
Niklas Kochdumper
Niklas Kochdumper
David P. Sanders
David P. Sanders
Christian Schilling
Christian Schilling

ARCH@CPSIoTWeek, pp. 41-61, 2019.

Cited by: 0|Bibtex|Views0|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments