Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective.
Mark Huasong MengGuangdong BaiSin Gee TeoZhe HouYan XiaoYun LinJin Song DongPublished in: CoRR (2022)
Keyphrases
- formal verification
- neural network
- model checking
- automated verification
- model checker
- bounded model checking
- artificial neural networks
- multi agent
- pattern recognition
- neural network model
- multi layer
- temporal logic
- symbolic model checking
- genetic algorithm
- program slicing
- back propagation
- functional verification
- neural nets
- feed forward
- self organizing maps
- fuzzy logic
- artificial intelligence