Author:Diego Manzanas Lopez

Publications

Keyphrases

Artificial Intelligence, benchmark, closed-loop system, control systems, differential-algebraic equations, hybrid systems, Neural Network Control Systems, neural network controller, neural networks, reachability analysis, verification, verification benchmark.