Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks.
Xingwu GuoWenjie WanZhaodi ZhangMin ZhangFu SongXuejun WenPublished in: ISSRE (2021)
Keyphrases
- neural network
- fuzzy logic
- pattern recognition
- neural network model
- back propagation
- artificial neural networks
- fuzzy systems
- machine learning
- search algorithm
- information systems
- computer vision
- information retrieval
- image processing
- probabilistic model
- fault diagnosis
- model checking
- computational efficiency
- genetic algorithm
- neural nets
- multi layer
- formal verification
- adaptive resonance theory
- verification method