Distribution Models for Falsification and Verification of DNNs.

Felipe Toledo David Shriver Sebastian G. Elbaum Matthew 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