Iterative Counter-Example Guided Robustness Verification for Neural Networks.
Karthik HanumanthaiahSamik BasuPublished in: SAIV (2014)
Keyphrases
- neural network
- pattern recognition
- back propagation
- model checking
- multilayer perceptron
- neural network model
- verification method
- fuzzy logic
- case study
- high robustness
- genetic algorithm
- neural nets
- information systems
- database
- multi layer
- machine learning
- databases
- radial basis function
- search engine
- fuzzy systems
- face verification
- formal analysis
- signature verification
- data driven
- digital images