Verifying Conformance of Neural Network Models: Invited Paper.

Monal Narasimhamurthy Taisa Kushner Souradeep Dutta Sriram Sankaranarayanan

Published in: ICCAD (2019)

Keyphrases

neural network model
invited paper
neural network
artificial neural networks
network architecture
model checking
bp neural network
multilayer perceptron
multi layer perceptron
input variables
neural models
database
fuzzy logic
lecture notes
machine learning
recent advances