Shared Certificates for Neural Network Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marc Fischer 0002, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh 0001, Martin T. Vechev. Shared Certificates for Neural Network Verification. In Sharon Shoham, Yakir Vizel, editors, Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I. Volume 13371 of Lecture Notes in Computer Science, pages 127-148, Springer, 2022. [doi]

This author has not been identified. Look up 'Marc Fischer 0002' in GoogleThis author has not been identified. Look up 'Christian Sprecher' in GoogleThis author has not been identified. Look up 'Dimitar I. Dimitrov' in GoogleThis author has not been identified. Look up 'Gagandeep Singh 0001' in GoogleThis author has not been identified. Look up 'Martin T. Vechev' in Google

runs on WebDSL