Sign in
Simulator-based Explanation and Debugging of Hazard-triggering Events in DNN-based Safety-critical Systems.
Hazem M. Fahmy
Fabrizio Pastore
Lionel C. Briand
Thomas Stifter
Published in:
ACM Trans. Softw. Eng. Methodol. (2023)
Keyphrases
</>
safety critical
safety analysis
formal methods
fault tolerant
embedded systems
agent architecture
nuclear power plant
cooperative
distributed systems
data mining
management system
support systems
machine learning
reinforcement learning
intelligent agents
regulatory requirements