Approximate Conformance Verification of Deep Neural Networks.
Habeeb PPavithra PrabhakarPublished in: NFM (2024)
Keyphrases
- neural network
- artificial neural networks
- genetic algorithm
- pattern recognition
- fuzzy logic
- multi layer
- neural nets
- back propagation
- fault diagnosis
- multilayer perceptron
- protocol specification
- formal verification
- fuzzy systems
- self organizing maps
- nearest neighbor
- case study
- computer vision
- face verification
- formal methods
- signature verification
- data sets
- database