Reachability Analysis for Feed-Forward Neural Networks using Face Lattices.
Xiaodong YangHoang-Dung TranWeiming XiangTaylor T. JohnsonPublished in: CoRR (2020)
Keyphrases
- feed forward neural networks
- reachability analysis
- neural network
- multi layer
- back propagation
- model checking
- markov decision processes
- artificial neural networks
- feed forward
- incremental algorithms
- extreme learning machine
- basis functions
- activation function
- timed automata
- hidden layer
- state space
- fuzzy inference system
- recurrent neural networks
- real time
- machine learning
- neural nets
- genetic algorithm
- face recognition
- learning algorithm