TY  - RPRT
TI  - Toward Scalable Verification for Safety-Critical Deep Networks
AU  - Lindsey Kuper
AU  - Guy Katz
AU  - Justin Gottschlich
AU  - Kyle Julian
AU  - Clark Barrett
AU  - Mykel Kochenderfer
PY  - 2018
UR  - https://arxiv.org/abs/1801.05950
ID  - 1801.05950
ER  -