Work

Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks

Year: 2021

Type: conference-paper

Source: Proceedings/Proceedings - International Symposium on Software Reliability Engineering

DOI: 10.1109/issre52982.2021.00044

Authors: Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen

Institutions: Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, ByteDance (China), ShanghaiTech University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Science and Technology Commission of Shanghai Municipality, National Key Research and Development Program of China

Award: G2275947126

OpenAlex ID: W4211137390

FWCI: 2.804

Cites: 62

Cited by: 12

Related to: 10