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

Xingwu Guo Ziwei Zhou Yueling Zhang Guy Katz Min Zhang

Published in: CoRR (2023)

Keyphrases

neural network
pattern recognition
computationally efficient
model checking
artificial neural networks
fuzzy logic
back propagation
computationally expensive
multilayer perceptron
formal methods
computational efficiency
multi layer
network architecture