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