Author:Luis Benet

Publications

Keyphrases

Applied verification, Artificial Intelligence, competition, continuous systems2, dynamical systems, formal methods2, formal verification2, hybrid systems4, intelligent control systems, machine learning, Neural Network Control Systems2, neural networks2, nonlinear dynamics3, nonlinear systems, reachability2, reachability analysis2, tools2, verification2.