TY  - RPRT
TI  - A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers
AU  - Kyle D. Julian
AU  - Mykel J. Kochenderfer
PY  - 2019
UR  - https://arxiv.org/abs/1903.00520
ID  - 1903.00520
ER  -