Shared Certificates for Neural Network Verification.
Marc FischerChristian SprecherDimitar I. DimitrovGagandeep SinghMartin T. VechevPublished in: CAV (1) (2022)
Keyphrases
- neural network
- back propagation
- pattern recognition
- access control
- neural network is trained
- network model
- signature verification
- neural network model
- model checking
- self organizing maps
- recurrent neural networks
- fault diagnosis
- artificial neural networks
- formal verification
- person identification
- fuzzy neural network
- genetic algorithm
- bp neural network
- fuzzy artmap
- image reconstruction from projections
- training data
- hybrid intelligent
- hybrid neural network
- cryptographic protocols
- hopfield neural network
- formal methods
- multilayer perceptron
- radial basis function
- distributed systems
- fuzzy logic
- knn