Reachability analysis of neural networks using mixed monotonicity.
Pierre-Jean MeyerPublished in: CoRR (2021)
Keyphrases
- reachability analysis
- neural network
- markov decision processes
- model checking
- timed automata
- incremental algorithms
- pattern recognition
- back propagation
- state space
- artificial neural networks
- self organizing maps
- bayesian networks
- genetic algorithm
- neural network model
- feed forward
- recurrent neural networks
- fuzzy logic
- machine learning
- policy iteration
- multilayer perceptron
- temporal logic
- radial basis function
- artificial intelligence