Login / Signup

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.

Hoang-Dung TranXiaodong YangDiego Manzanas LopezPatrick MusauLuan Viet NguyenWeiming XiangStanley BakTaylor T. Johnson
Published in: CAV (1) (2020)
Keyphrases
  • neural network
  • neural nets
  • fuzzy logic
  • back propagation
  • artificial neural networks
  • real time
  • decision making
  • source code
  • information processing