Verifying Global Neural Network Specifications using Hyperproperties.

David Boetius Stefan Leue

Published in: FoMLAS@CAV (2023)

Keyphrases

neural network
model checking
artificial neural networks
fault diagnosis
neural network model
pattern recognition
knn
back propagation
self organizing maps
hybrid intelligent
feed forward neural networks
global information
fuzzy neural network
feed forward
fuzzy logic
expert systems
genetic algorithm
data mining