Author:Luis Benet

Publications

Keyphrases

Applied verification, Artificial Intelligence, competition, continuous systems3, dynamical systems, formal methods3, formal verification2, hybrid systems5, intelligent control systems, machine learning, Neural Network Control Systems2, neural networks2, nonlinear dynamics4, nonlinear systems, reachability2, reachability analysis3, tools2, verification3.