Login / Signup
Verification and Repair of Neural Networks: a Progress Report on Convolutional Models.
Dario Guidotti
Francesco Leofante
Published in:
CPS Summer School, PhD Workshop (2019)
Keyphrases
</>
neural network
neural network model
genetic algorithm
probabilistic model
network architecture
neural nets
back propagation
artificial neural networks
pattern recognition
multi layer
data sets
prior knowledge
fuzzy logic
fault diagnosis
experimental data
statistical models
reinforcement learning