TY  - RPRT
TI  - Algorithms for Verifying Deep Neural Networks
AU  - Changliu Liu
AU  - Tomer Arnon
AU  - Christopher Lazarus
AU  - Christopher Strong
AU  - Clark Barrett
AU  - Mykel J. Kochenderfer
PY  - 2020
UR  - https://arxiv.org/abs/1903.06758
ID  - 1903.06758
ER  -