Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen. Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks. In Zhi Jin, Xuandong Li, Jianwen Xiang, Leonardo Mariani, Ting Liu, Xiao Yu, Nahgmeh Ivaki, editors, 32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, 2021. pages 345-356, IEEE, 2021. [doi]

This author has not been identified. Look up 'Xingwu Guo' in GoogleThis author has not been identified. Look up 'Wenjie Wan' in GoogleThis author has not been identified. Look up 'Zhaodi Zhang' in GoogleThis author has not been identified. Look up 'Min Zhang' in GoogleThis author has not been identified. Look up 'Fu Song' in GoogleThis author has not been identified. Look up 'Xuejun Wen' in Google

runs on WebDSL