Reachability Analysis of Deep Neural Networks with Provable Guarantees.
Wenjie RuanXiaowei HuangMarta KwiatkowskaPublished in: IJCAI (2018)
Keyphrases
- reachability analysis
- neural network
- markov decision processes
- model checking
- timed automata
- pattern recognition
- incremental algorithms
- approximation guarantees
- state space
- temporal logic
- genetic algorithm
- neural network model
- real time
- data mining
- contextual information
- markov chain
- low cost
- fuzzy logic
- dynamic programming
- lower bound
- image sequences