Login / Signup

Parallelizable reachability analysis algorithms for feed-forward neural networks.

Hoang-Dung TranPatrick MusauDiego Manzanas LopezXiaodong YangLuan Viet NguyenWeiming XiangTaylor T. Johnson
Published in: FormaliSE@ICSE (2019)
Keyphrases
  • reachability analysis
  • feed forward neural networks
  • learning algorithm
  • artificial intelligence
  • markov decision processes
  • neural network
  • knowledge base