Approximation of Neural Networks for Verification.
Fin Hendrik BahnsenGörschwin FeyPublished in: MBMV (2019)
Keyphrases
- neural network
- model checking
- fuzzy logic
- formal verification
- approximation error
- pattern recognition
- verification method
- approximation methods
- back propagation
- genetic algorithm
- signature verification
- learning algorithm
- queueing networks
- fuzzy systems
- approximation algorithms
- closed form
- recurrent neural networks
- efficient computation
- feed forward
- error bounds
- fault diagnosis
- machine learning
- hopfield neural network
- asynchronous circuits
- approximation schemes
- database