Neural Network Verification with DSE.
Benedikt BöingFalk HowarJelle HüntelmannEmmanuel MüllerRichard StewingPublished in: OVERLAY@AI*IA (2022)
Keyphrases
- neural network
- artificial neural networks
- back propagation
- pattern recognition
- fuzzy logic
- model checking
- self organizing maps
- neural network is trained
- neural nets
- feed forward neural networks
- fault diagnosis
- associative memory
- neural network model
- signature verification
- formal verification
- feedforward neural networks
- backpropagation neural network
- recurrent neural networks
- data sets
- multi layer
- network model
- learning rules
- multilayer perceptron
- software engineering
- knn
- expert systems
- person identification
- fingerprint verification
- reinforcement learning
- false acceptance rate
- web services
- functional verification
- fermentation process