DeepGlobal: A Global Robustness Verifiable FNN Framework.

Weidi Sun Yuteng Lu Xiyue Zhang Meng Sun

Published in: SETTA (2021)

Keyphrases

databases
bayesian framework
data sets
sufficient conditions
lightweight
database
real world
artificial neural networks
evolutionary algorithm
probabilistic model
computational efficiency
conceptual framework