Federated Repair of Deep Neural Networks
As DNNs are embedded in more and more critical systems, it is essential to ensure that they
perform well on specific inputs. DNN repair has shown good results in fixing specific …
perform well on specific inputs. DNN repair has shown good results in fixing specific …
Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications
In AI-enabled CPSs, DNNs are used as controllers for the physical system. Despite their
advantages, DNN controllers can produce wrong control decisions, which can lead to safety …
advantages, DNN controllers can produce wrong control decisions, which can lead to safety …
A Post-training Framework for Improving the Performance of Deep Learning Models via Model Transformation
Deep learning (DL) techniques have attracted much attention in recent years and have been
applied to many application scenarios. To improve the performance of DL models regarding …
applied to many application scenarios. To improve the performance of DL models regarding …
Repairs and Breaks Prediction for Deep Neural Networks
With the increasing prevalence of software incorporating deep neural networks (DNNs),
quality assurance for these software systems has become a crucial concern. To this end …
quality assurance for these software systems has become a crucial concern. To this end …
SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences
Cyber-Physical Systems (CPSs) are increasingly adopting deep neural networks (DNNs) as
controllers, giving birth to AI-enabled CPSs. Despite their advantages, many concerns arise …
controllers, giving birth to AI-enabled CPSs. Despite their advantages, many concerns arise …
MuFF: Stable and Sensitive Post-training Mutation Testing for Deep Learning
Rapid adoptions of Deep Learning (DL) in a broad range of fields led to the development of
specialised testing techniques for DL systems, including DL mutation testing. However …
specialised testing techniques for DL systems, including DL mutation testing. However …
More is Not Always Better: Exploring Early Repair of DNNs
DNN repair is an effective technique applied after training to enhance the class-specific
accuracy of classifier models, where a low failure rate is required on specific classes. The …
accuracy of classifier models, where a low failure rate is required on specific classes. The …
Improving DNN Modularization via Activation-Driven Training
Deep Neural Networks (DNNs) suffer from significant retraining costs when adapting to
evolving requirements. Modularizing DNNs offers the promise of improving their reusability …
evolving requirements. Modularizing DNNs offers the promise of improving their reusability …
[HTML][HTML] PRG4CNN: A Probabilistic Model Checking-Driven Robustness Guarantee Framework for CNNs
Y Liu, A Fang - Entropy, 2025 - mdpi.com
As an important kind of DNN (deep neural network), CNN (convolutional neural network)
has made remarkable progress and been widely used in the vision and decision-making of …
has made remarkable progress and been widely used in the vision and decision-making of …
Technical Briefing on Deep Neural Network Repair
Deep Neural Networks (DNNs) are used for different tasks in many domains, some safety
critical like autonomous driving. When in operation, the DNN could misbehave on some …
critical like autonomous driving. When in operation, the DNN could misbehave on some …