Sign in

Formal Modeling and Verification of Convolutional Neural Networks based on MSVL.

Liang ZhaoLeping WuYu GaoXiaobing WangBin Yu
Published in: DSA (2022)
Keyphrases
  • convolutional neural networks
  • information systems
  • model checking
  • formal methods
  • multi agent
  • genetic algorithm
  • decision making
  • search algorithm
  • evolutionary algorithm
  • dynamic aspects
  • colored petri nets