Reachability Analysis of Neural Networks with Uncertain Parameters.

Pierre-Jean Meyer

Published in: CoRR (2023)

Keyphrases

reachability analysis
neural network
pattern recognition
markov decision processes
artificial neural networks
genetic algorithm
fuzzy logic
model checking
highly non linear
real time
machine learning
learning algorithm
least squares
markov chain
sufficient conditions
neural network model
robust stability