Verifying Global Neural Network Specifications using Hyperproperties.
David BoetiusStefan LeuePublished in: CoRR (2023)
Keyphrases
- neural network
- pattern recognition
- high level
- back propagation
- fault diagnosis
- radial basis function
- back propagation neural network
- network architecture
- backpropagation neural network
- database
- learning vector quantization
- specification language
- feedforward neural networks
- global information
- multi layer perceptron
- prediction model
- support vector machine
- knowledge base