Reachability Analysis of Neural Networks Using Mixed Monotonicity.
Pierre-Jean MeyerPublished in: IEEE Control. Syst. Lett. (2022)
Keyphrases
- reachability analysis
- neural network
- model checking
- markov decision processes
- timed automata
- artificial neural networks
- state space
- genetic algorithm
- pattern recognition
- incremental algorithms
- fuzzy logic
- back propagation
- multilayer perceptron
- recurrent neural networks
- low cost
- neural network model
- feed forward
- neural nets
- self organizing maps
- temporal logic
- distributed systems
- np hard
- artificial intelligence
- data mining