Reachability Analysis of Deep Neural Networks with Provable Guarantees.
Wenjie RuanXiaowei HuangMarta KwiatkowskaPublished in: CoRR (2018)
Keyphrases
- reachability analysis
- neural network
- markov decision processes
- model checking
- timed automata
- pattern recognition
- incremental algorithms
- artificial neural networks
- genetic algorithm
- fuzzy logic
- back propagation
- recurrent neural networks
- approximation guarantees
- neural network model
- multilayer perceptron
- multi layer
- np hard
- artificial intelligence
- neural nets