HUDD: A tool to debug DNNs for safety analysis.

Hazem M. Fahmy Fabrizio Pastore Lionel C. Briand

Published in: ICSE-Companion (2022)

Keyphrases

safety analysis
nuclear power plant
safety critical
real time
decision making
symbolic model checking
reinforcement learning