Scalable Quantitative Verification for Deep Neural Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Teodora Baluta, Zheng-Leong Chua, Kuldeep S. Meel, Prateek Saxena. Scalable Quantitative Verification for Deep Neural Networks. In 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021. pages 248-249, IEEE, 2021. [doi]

This author has not been identified. Look up 'Teodora Baluta' in GoogleThis author has not been identified. Look up 'Zheng-Leong Chua' in GoogleThis author has not been identified. Look up 'Kuldeep S. Meel' in GoogleThis author has not been identified. Look up 'Prateek Saxena' in Google

runs on WebDSL