Author:Diego Manzanas Lopez
KeyphrasesArtificial 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. |