Measuring Robustness of Deep Neural Networks from the Lens of Statistical Model Checking - researchr publication

researchr

You are not signed in
Sign in
Sign up

Hao Bu, Meng Sun. Measuring Robustness of Deep Neural Networks from the Lens of Statistical Model Checking. In International Joint Conference on Neural Networks, IJCNN 2023, Gold Coast, Australia, June 18-23, 2023. pages 1-8, IEEE, 2023. [doi]

Abstract is missing.

runs on WebDSL