Reachability analysis of deep ReLU neural networks using facet-vertex incidence.
Xiaodong YangTaylor T. JohnsonHoang-Dung TranTomoya YamaguchiBardh HoxhaDanil V. ProkhorovPublished in: HSCC (2021)
Keyphrases
- reachability analysis
- neural network
- markov decision processes
- model checking
- incremental algorithms
- timed automata
- artificial neural networks
- pattern recognition
- back propagation
- multi faceted
- multi layer
- neural nets
- fuzzy logic
- state space
- temporal logic
- recurrent neural networks
- genetic algorithm
- feed forward
- undirected graph
- data mining
- directed graph
- neural network model
- artificial intelligence
- markov chain
- video sequences
- reinforcement learning