Sign in

Distribution Models for Falsification and Verification of DNNs.

Felipe ToledoDavid ShriverSebastian G. ElbaumMatthew B. Dwyer
Published in: ASE (2021)
Keyphrases
  • probabilistic model
  • data sets
  • decision making
  • complex systems
  • neural network
  • genetic algorithm
  • random variables
  • process model
  • negative binomial