Author:Luis Benet

Publications

Keyphrases

Applied verification, Artificial Intelligence, competition, continuous systems, dynamical systems, formal methods, formal verification2, hybrid systems3, intelligent control systems, machine learning, Neural Network Control Systems2, neural networks2, nonlinear dynamics2, nonlinear systems, reachability2, reachability analysis, tools2, verification.