Constrained Feedforward Neural Network Training via Reachability Analysis.
Long Kiu ChungAdam DaiDerek KnowlesShreyas KousikGrace Xingxin GaoPublished in: CoRR (2021)
Keyphrases
- feedforward neural networks
- reachability analysis
- back propagation
- backpropagation algorithm
- neural network
- training algorithm
- recurrent neural networks
- markov decision processes
- multilayer perceptron
- extreme learning machine
- hidden layer
- timed automata
- single hidden layer
- model checking
- multi layer perceptron
- artificial neural networks
- supervised learning
- state space
- search space
- learning algorithm
- genetic algorithm