Verification of Neural Network Control Systems in Continuous Time