no code implementations • 26 Sep 2017 • Souradeep Dutta, Susmit Jha, Sriram Sanakaranarayanan, Ashish Tiwari
We demonstrate the effectiveness of the proposed approach for verification of NNs used in automated control as well as those used in classification.