Star-Based Reachability Analysis of Deep Neural Networks.
Hoang-Dung TranDiego Manzanas LopezPatrick MusauXiaodong YangLuan Viet NguyenWeiming XiangTaylor T. JohnsonPublished in: FM (2019)
Keyphrases
- reachability analysis
- neural network
- markov decision processes
- model checking
- timed automata
- pattern recognition
- incremental algorithms
- artificial neural networks
- genetic algorithm
- neural network model
- back propagation
- fuzzy logic
- state space
- learning algorithm
- feed forward
- temporal logic
- multilayer perceptron
- neural nets
- multi layer
- self organizing maps
- distributed systems
- decision making
- theorem prover
- machine learning