Author:Luis Benet

Publications

Keyphrases

Applied verification, Artificial Intelligence, competition, continuous systems, formal verification, hybrid systems2, intelligent control systems, machine learning, Neural Network Control Systems, neural networks, nonlinear dynamics2, reachability, reachability analysis, tools.