SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks (Q6487301)

From MaRDI portal
scientific article; zbMATH DE number 7628092
Language Label Description Also known as
English
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
scientific article; zbMATH DE number 7628092

    Statements

    Identifiers