Systematic Generation of Diverse Benchmarks for DNN Verification

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-53288-8_5 ◽

2020 ◽

pp. 97-121

Author(s):

Dong Xu ◽

David Shriver ◽

Matthew B. Dwyer ◽

Sebastian Elbaum

Download Full-text