Shared Certificates for Neural Network Verification.
Christian SprecherMarc FischerDimitar I. DimitrovGagandeep SinghMartin T. VechevPublished in: CoRR (2021)
Keyphrases
- neural network
- artificial neural networks
- model checking
- neural network model
- neural network is trained
- pattern recognition
- fuzzy logic
- back propagation
- fuzzy artmap
- hybrid neural network
- fault diagnosis
- genetic algorithm
- hybrid intelligent
- verification method
- formal verification
- network architecture
- recurrent neural networks
- hidden layer
- training algorithm
- training process
- face verification
- feedforward neural networks
- neural model
- signature verification
- learning vector quantization
- asynchronous circuits
- multilayer perceptron
- feed forward
- radial basis function
- radial basis
- control system
- artificial intelligence