A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers.

Kyle D. Julian Mykel J. Kochenderfer

Published in: CoRR (2019)

Keyphrases

dynamical systems
neural network
differential equations
reinforcement learning
artificial neural networks
dynamic systems