Neural network controllers are currently being proposed for use in many safety-critical tasks. Most analysis methods for neural network control systems assume a fixed control period. In control…
Verification of Neural Network Control Systems in Continuous Time
