Adversarial robustness of deep neural networks: A survey from a formal verification perspective - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Meng, Mark Huasong, Bai, Guangdong, Teo, Sin Gee, Hou, Zhe, Xiao, Yan, Lin, Yun, Dong, Jin Song. Adversarial robustness of deep neural networks: A survey from a formal verification perspective. IEEE Transactions on Dependable and Secure Computing, , 2022.

This author has not been identified. Look up 'Meng, Mark Huasong' in GoogleThis author has not been identified. Look up 'Bai, Guangdong' in GoogleThis author has not been identified. Look up 'Teo, Sin Gee' in GoogleThis author has not been identified. Look up 'Hou, Zhe' in GoogleThis author has not been identified. Look up 'Xiao, Yan' in GoogleThis author has not been identified. Look up 'Lin, Yun' in GoogleThis author has not been identified. Look up 'Dong, Jin Song' in Google

runs on WebDSL