Sherlock - A tool for verification of neural network feedback systems: demo abstract - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari. Sherlock - A tool for verification of neural network feedback systems: demo abstract. In Necmiye Ozay, Pavithra Prabhakar, editors, Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. pages 262-263, ACM, 2019. [doi]

This author has not been identified. Look up 'Souradeep Dutta' in GoogleThis author has not been identified. Look up 'Xin Chen' in GoogleThis author has not been identified. Look up 'Susmit Jha' in GoogleThis author has not been identified. It may be one of the following persons:

Sriram Sankaranarayanan

Look up 'Sriram Sankaranarayanan' in GoogleThis author has not been identified. Look up 'Ashish Tiwari' in Google

runs on WebDSL