Author:Diego Manzanas LopezPublications |
---|
Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling and Qi Zhu | | | | | |
KeyphrasesArtificial Intelligence2, benchmark, closed-loop system, control systems, differential-algebraic equations, formal methods, hybrid systems, intelligent control systems, machine learning, Neural Network Control Systems3, neural network controller, neural networks3, reachability2, reachability analysis, verification2, verification benchmark. |
|