Author:Diego Manzanas Lopez

Publications

Keyphrases

Artificial 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.