Login / Signup

HUDD: A tool to debug DNNs for safety analysis.

Hazem M. FahmyFabrizio PastoreLionel C. Briand
Published in: CoRR (2022)
Keyphrases
  • safety analysis
  • safety critical
  • control system
  • nuclear power plant
  • fault model
  • information systems
  • symbolic model checking
  • fault tolerant