Author:Diego Manzanas Lopez

Publications

Keyphrases

Artificial Intelligence2, benchmark, closed-loop system, control systems, differential-algebraic equations, hybrid systems, intelligent control systems, machine learning, Neural Network Control Systems2, neural network controller, neural networks2, reachability, reachability analysis, verification, verification benchmark.