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

Content: [Paper] [Artifact] [Video]