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

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

Published in: CoRR (2022)

Keyphrases

neural network
statistical analysis
pattern recognition
data analysis
image analysis
data sets
real time
small number
artificial neural networks
formal analysis
recurrent neural networks
hierarchical structure
fuzzy logic
lower bound
website
image processing
knowledge base
information systems