Vertex-based reachability analysis for verifying ReLU deep neural networks.
João G. ZagoEduardo CamponogaraEric A. AntoneloPublished in: CoRR (2023)
Keyphrases
- reachability analysis
- model checking
- neural network
- markov decision processes
- timed automata
- temporal logic
- incremental algorithms
- pattern recognition
- back propagation
- artificial neural networks
- fuzzy logic
- recurrent neural networks
- feed forward
- directed graph
- multilayer perceptron
- neural network model
- state space
- database design
- theorem proving
- decision processes
- decision makers
- learning algorithm