A Dual Approach to Scalable Verification of Deep Networks - Krishnamurthy Dvijotham; Robert Stanforth; Sven Gowal; Timothy Mann; Pushmeet Kohli (2018)