Specification-Guided Safety Verification for Feedforward Neural Networks.
Weiming XiangHoang-Dung TranTaylor T. JohnsonPublished in: CoRR (2018)
Keyphrases
- feedforward neural networks
- formal verification
- neural network
- back propagation
- model checking
- formal methods
- protocol specification
- recurrent neural networks
- error function
- extreme learning machine
- hidden layer
- hidden neurons
- training algorithm
- linear combination
- multi layer perceptron
- activation function
- decision trees
- real time
- state space
- training set
- fuzzy neural network
- artificial intelligence
- learning algorithm