TY  - RPRT
TI  - A Dual Approach to Scalable Verification of Deep Networks
AU  - Krishnamurthy
AU  - Dvijotham
AU  - Robert Stanforth
AU  - Sven Gowal
AU  - Timothy Mann
AU  - Pushmeet Kohli
PY  - 2018
UR  - https://arxiv.org/abs/1803.06567
ID  - 1803.06567
ER  -