The Octatope Abstract Domain for Verification of Neural Networks.
Stanley BakTaylor DohmenK. SubramaniAshutosh TrivediAlvaro VelasquezPiotr WojciechowskiPublished in: FM (2023)
Keyphrases
- neural network
- pattern recognition
- domain specific
- artificial neural networks
- back propagation
- genetic algorithm
- high level
- multilayer perceptron
- domain independent
- sufficient conditions
- low level
- feature selection
- asynchronous circuits
- neural nets
- neural network model
- multi layer
- face verification
- real time
- domain experts
- fuzzy logic
- multiscale
- image sequences
- computer vision
- information retrieval
- data sets