SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
type: Item
instance of: scholarly article
title: SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
zbMATH Open document ID: 1514.68119
DOI: 10.1007/978-3-031-15077-7_5
author: Fabian Bauer-Marquart
author: Q6485524
author: Stefan Leue
author: Christian Schilling
publication date: 2022-12-07T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T07
zbMATH DE Number: 7628092
MaRDI profile type: MaRDI publication profile
cites work: A simplicial homology algorithm for Lipschitz optimisation
cites work: Q5270493
cites work: Safety verification of deep neural networks
cites work: A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability
cites work: Reluplex: an efficient SMT solver for verifying deep neural networks
cites work: Q4626278
cites work: Proving the Correctness of Multiprocess Programs
Recommended article: Safety verification of deep neural networks
Recommended article: Reluplex: a calculus for reasoning about deep neural networks
Recommended article: Reluplex: an efficient SMT solver for verifying deep neural networks
Recommended article: Abstract neural networks
Recommended article: Formal specification for deep neural networks
description: scientific article; zbMATH DE number 7628092