Login / Signup

Safety Analysis of Deep Neural Networks.

Dario Guidotti
Published in: IJCAI (2021)
Keyphrases
  • safety analysis
  • neural network
  • safety critical
  • nuclear power plant
  • control system
  • symbolic model checking
  • fault model
  • fuzzy logic
  • model checking
  • fuzzy systems
  • information systems
  • formal methods