SAFE: Safety Analysis and Retraining of DNNs.

Mohammed Oualid Attaoui Fabrizio Pastore Lionel C. Briand

Published in: ICSE Companion (2024)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
symbolic model checking
fault model
reliability analysis
neural network
agent architecture
formal methods
learning environment
load balancing