An approach to reachability analysis for feed-forward ReLU neural networks.
Alessio LomuscioLalit MagantiPublished in: CoRR (2017)
Keyphrases
- feed forward
- reachability analysis
- neural network
- back propagation
- model checking
- markov decision processes
- neural nets
- artificial neural networks
- recurrent neural networks
- hidden layer
- activation function
- timed automata
- error back propagation
- biologically plausible
- feed forward neural networks
- incremental algorithms
- recurrent networks
- training algorithm
- state space
- spiking neural networks
- visual cortex
- spiking neurons
- multilayer perceptron
- control system
- search algorithm
- support vector
- neuron model
- qualitative and quantitative
- neural network model
- fault diagnosis
- knowledge representation
- machine learning