OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks.

Xingwu Guo Ziwei Zhou Yueling Zhang Guy Katz Min Zhang

Published in: TACAS (1) (2023)

Keyphrases

neural network
pattern recognition
data sets
artificial neural networks
fuzzy logic
multilayer perceptron
computationally efficient
computational efficiency
computationally expensive
feed forward
multi layer
formal methods
formal verification