TY  - RPRT
TI  - Verification of Non-Linear Specifications for Neural Networks
AU  - Chongli Qin
AU  - Krishnamurthy
AU  - Dvijotham
AU  - Brendan O'Donoghue
AU  - Rudy Bunel
AU  - Robert Stanforth
AU  - Sven Gowal
AU  - Jonathan Uesato
AU  - Grzegorz Swirszcz
AU  - Pushmeet Kohli
PY  - 2019
UR  - https://arxiv.org/abs/1902.09592
ID  - 1902.09592
ER  -