Introduction to Neural Network Verification.
Aws AlbarghouthiPublished in: Found. Trends Program. Lang. (2021)
Keyphrases
- neural network
- back propagation
- artificial neural networks
- neural network model
- neural nets
- model checking
- pattern recognition
- verification method
- fault diagnosis
- bp neural network
- radial basis function
- asynchronous circuits
- formal verification
- neural network is trained
- backpropagation neural network
- learning vector quantization
- formal analysis
- formal methods
- multi layer perceptron
- fuzzy logic
- evolutionary algorithm
- website