C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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