Login / Signup

Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework.

Xiaobing WangKun YangYanmei WangLiang ZhaoXinfeng Shu
Published in: SOFL+MSVL (2019)
Keyphrases
  • orders of magnitude
  • formal verification
  • neural network
  • main contribution
  • fuzzy logic
  • model checking
  • neural network model
  • automated verification