SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
scientific article; zbMATH DE number 7628092