Author:Diego Manzanas Lopez

Publications

Keyphrases

Artificial Intelligence2, benchmark, closed-loop system, control systems, differential-algebraic equations, formal methods, formal verification, hybrid systems, intelligent control systems, machine learning, Neural Network Control Systems4, neural network controller, Neural Network Verification, neural networks4, reachability2, reachability analysis, verification3, verification benchmark.