Sign in

DeepGlobal: A Global Robustness Verifiable FNN Framework.

Weidi SunYuteng LuXiyue ZhangMeng 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