Verification of Sigmoidal Artificial Neural Networks using iSAT.
Dominik GrundtSorin Liviu JurjWillem HagemannPaul KrögerMartin FränzlePublished in: SNR (2021)
Keyphrases
- artificial neural networks
- feed forward neural networks
- activation function
- model checking
- back propagation
- neural network
- feed forward
- face verification
- using artificial neural networks
- neural network model
- computational intelligence
- hidden layer
- formal verification
- hybrid model
- asynchronous circuits
- application of artificial neural networks
- neural nets
- multi layer
- databases
- high security
- genetic algorithm
- formal analysis
- vc dimension
- radial basis function
- soft computing
- decision trees
- knowledge base
- feature selection
- input variables
- learning algorithm
- signature verification
- information retrieval
- concurrent systems
- data sets