Sign in

HUDD: A tool to debug DNNs for safety analysis.

Hazem M. FahmyFabrizio PastoreLionel C. Briand
Published in: ICSE-Companion (2022)
Keyphrases
  • safety analysis
  • nuclear power plant
  • safety critical
  • real time
  • decision making
  • symbolic model checking
  • reinforcement learning