The Octatope Abstract Domain for Verification of Neural Networks.

Stanley Bak Taylor Dohmen K. Subramani Ashutosh Trivedi Alvaro Velasquez Piotr Wojciechowski

Published 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