Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks.
Rüdiger EhlersPublished in: ATVA (2017)
Keyphrases
- formal verification
- feed forward neural networks
- piece wise linear
- neural network
- model checking
- back propagation
- multi layer
- learning speed
- artificial neural networks
- model checker
- feed forward
- extreme learning machine
- activation function
- automated verification
- symbolic model checking
- hidden layer
- bounded model checking
- fuzzy inference system
- recurrent neural networks
- learning rate
- multilayer perceptron
- temporal logic
- training algorithm
- fuzzy logic