TY  - RPRT
TI  - Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
AU  - Guy Katz
AU  - Clark Barrett
AU  - David Dill
AU  - Kyle Julian
AU  - Mykel Kochenderfer
PY  - 2017
UR  - https://arxiv.org/abs/1702.01135
ID  - 1702.01135
ER  -