%0 Conference Paper %1 conf/iclr/QinDOBSGUSK19 %A Qin, Chongli %A Dvijotham, Krishnamurthy (Dj) %A O'Donoghue, Brendan %A Bunel, Rudy %A Stanforth, Robert %A Gowal, Sven %A Uesato, Jonathan %A Swirszcz, Grzegorz %A Kohli, Pushmeet %B ICLR (Poster) %D 2019 %I OpenReview.net %K dblp %T Verification of Non-Linear Specifications for Neural Networks. %U http://dblp.uni-trier.de/db/conf/iclr/iclr2019.html#QinDOBSGUSK19

@inproceedings{conf/iclr/QinDOBSGUSK19, added-at = {2019-07-25T00:00:00.000+0200}, author = {Qin, Chongli and Dvijotham, Krishnamurthy (Dj) and O'Donoghue, Brendan and Bunel, Rudy and Stanforth, Robert and Gowal, Sven and Uesato, Jonathan and Swirszcz, Grzegorz and Kohli, Pushmeet}, biburl = {https://www.bibsonomy.org/bibtex/211db5e5c0500c0d988f3440e95273586/dblp}, booktitle = {ICLR (Poster)}, crossref = {conf/iclr/2019}, ee = {https://openreview.net/forum?id=HyeFAsRctQ}, interhash = {b98ccffec8dfd1e9f3a9badbd0b9db5a}, intrahash = {11db5e5c0500c0d988f3440e95273586}, keywords = {dblp}, publisher = {OpenReview.net}, timestamp = {2019-07-26T11:39:47.000+0200}, title = {Verification of Non-Linear Specifications for Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/iclr/iclr2019.html#QinDOBSGUSK19}, year = 2019 }