Systematic Generation of Diverse Benchmarks for DNN Verification
computer aided verification, pp. 97-121, 2020.
The field of verification has advanced due to the interplay of theoretical development and empirical evaluation. Benchmarks play an important role in this by supporting the assessment of the state-of-the-art and comparison of alternative verification approaches. Recent years have witnessed significant developments in the verification of d...More
Full Text (Upload PDF)
PPT (Upload PPT)