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
Published in:
CoRR (2022)
Keyphrases
</>
safety critical
safety analysis
nuclear power plant
formal methods
management system
fault tolerant
embedded systems
distributed systems
intelligent systems
agent architecture
expert systems
support systems
control system
knowledge acquisition
public health