Distribution Models for Falsification and Verification of DNNs
Felipe Toledo, David Shriver, Sebastian Elbaum, and Matthew B. Dwyer
DNN validation and verification approaches that are input distribution agnostic waste effort on irrelevant inputs and report false property violations. Drawing on the large body of work on model-based validation and verification of traditional systems, we introduce the first approach that leverages environmental models to focus DNN falsification and verification…
Read more