Distribution Models for Falsification and Verification of DNNs - Felipe Toledo (2021)