An Empirical Study of Counterexample-Guided Fuzzing for Neural Networks Verification.
Gaolei YiXinyi WangYichen WangPublished in: DSA (2020)
Keyphrases
- neural network
- model checking
- formal verification
- genetic algorithm
- pattern recognition
- artificial neural networks
- temporal logic
- back propagation
- neural network model
- verification method
- competitive learning
- formal methods
- fuzzy logic
- concurrent systems
- learning rules
- neural nets
- asynchronous circuits
- search engine
- person identification
- signature verification
- soft computing
- feedforward neural networks
- formal analysis
- fuzzy systems
- self organizing maps
- decision making
- computer vision
- real world