Simplifying Neural Networks Using Formal Verification.
Sumathi GokulanathanAlexander FeldsherAdi MalcaClark W. BarrettGuy KatzPublished in: NFM (2020)
Keyphrases
- formal verification
- neural network
- model checking
- bounded model checking
- pattern recognition
- automated verification
- model checker
- artificial neural networks
- program slicing
- symbolic model checking
- neural network model
- genetic algorithm
- temporal logic
- neural nets
- multilayer perceptron
- feed forward
- back propagation
- fuzzy systems