OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang 0002. OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. In Sriram Sankaranarayanan 0001, Natasha Sharygina, editors, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I. Volume 13993 of Lecture Notes in Computer Science, pages 208-226, Springer, 2023. [doi]

This author has not been identified. Look up 'Xingwu Guo' in GoogleThis author has not been identified. Look up 'Ziwei Zhou' in GoogleThis author has not been identified. Look up 'Yueling Zhang' in GoogleThis author has not been identified. Look up 'Guy Katz' in GoogleThis author has not been identified. Look up 'Min Zhang 0002' in Google

runs on WebDSL