Sebastian Elbaum

Systematic Generation of Diverse Benchmarks for DNN Verification

2020 · Lecture notes in computer science

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 …

Reducing DNN Properties to Enable Falsification with Adversarial Attacks

2021

Deep Neural Networks (DNN) are increasingly being deployed in safety-critical domains, from autonomous vehicles to medical devices, where the consequences of errors demand techniques that can provide stronger guarantees about behavior than just high test …