Parallelization Techniques for Verifying Neural Networks.
Haoze WuAlex OzdemirAleksandar ZeljicKyle JulianAhmed IrfanDivya GopinathSadjad FouladiGuy KatzCorina S. PasareanuClark W. BarrettPublished in: FMCAD (2020)
Keyphrases
- neural network
- fuzzy logic
- pattern recognition
- neural nets
- back propagation
- artificial neural networks
- recurrent neural networks
- neural network model
- self organizing maps
- model checking
- competitive learning
- shared memory
- network architecture
- multilayer perceptron
- parallel processing
- fault diagnosis
- real time
- feed forward
- decision making
- information systems
- rule extraction
- database