Star Based Reachability Analysis of Interval Neural Networks.
Vishnu BondalakuntaPavithra PrabhakarPublished in: CDC (2023)
Keyphrases
- reachability analysis
- neural network
- global exponential stability
- model checking
- markov decision processes
- timed automata
- pattern recognition
- incremental algorithms
- fuzzy logic
- back propagation
- state space
- genetic algorithm
- artificial neural networks
- contextual information
- temporal logic
- multilayer perceptron
- network architecture
- objective function
- reinforcement learning
- sufficient conditions
- markov chain
- low cost
- neural network model
- recurrent neural networks