Model-Agnostic Reachability Analysis on Deep Neural Networks.

Chi Zhang Wenjie Ruan Fu Wang Peipei Xu Geyong Min Xiaowei Huang

Published in: CoRR (2023)

Keyphrases

neural network
probabilistic model
computational model
neural network model
high level
real time
machine learning
probability distribution
mathematical model
state transitions