Login / Signup
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation.
Zhiyi Xue
Si Liu
Zhaodi Zhang
Yiting Wu
Min Zhang
Published in:
ISSTA (2023)
Keyphrases
</>
approximation methods
closed form
approximation error
neural network
efficient computation
data sets
website
approximation algorithms
queueing networks
image processing
case study
model checking
error bounds
piecewise constant
approximation spaces
approximation schemes