Author:Patrick Musau

Publications

Keyphrases

Artificial Intelligence, benchmark2, closed-loop system, control systems, differential-algebraic equations, hybrid systems, Neural Network Control Systems, neural network controller, neural networks2, reachability analysis2, Recurrent Neural Networks, RNNs, verification, verification benchmark.