Safety Verification for Neural Networks Based on Set-Boundary Analysis.

Zhen Liang Dejin Ren Wanwei Liu Ji Wang Wenjing Yang Bai Xue

Published in: TASE (2023)

Keyphrases

neural network
statistical analysis
safety analysis
artificial neural networks
quantitative analysis
pattern recognition
user defined
genetic algorithm
feature extraction
objective function
small number
model checking