Researcher profile
Sebastian Elbaum
2 papers in the PaperMetrix corpus
Publications
Papers by this author
-
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 …