Artificial Intelligence, intelligent control systems, machine learning, Neural Network Control Systems, neural networks, reachability.