A Tale of Two Approximations: Tightening Over-Approximation for DNN
Robustness Verification via Under-Approximation

A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation

International Symposium on Software Testing and Analysis (ISSTA), 2023

26 May 2023

ArXiv (abs)PDF HTML

Papers citing "A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation"

0 / 0 papers shown

Title
No papers found