Towards Verification of Artificial Neural Networks.
Karsten ScheiblerLeonore WintererRalf WimmerBernd BeckerPublished in: MBMV (2015)
Keyphrases
- artificial neural networks
- neural network
- back propagation
- model checking
- using artificial neural networks
- feed forward
- computational intelligence
- face verification
- hybrid model
- signature verification
- neural network model
- verification method
- multilayer perceptron
- genetic algorithm
- formal verification
- person identification
- genetic algorithm ga
- recurrent neural networks
- fingerprint verification
- feed forward neural networks
- application of artificial neural networks
- formal methods
- soft computing
- radial basis function
- genetic programming
- least squares
- database systems
- decision trees
- machine learning