Verifying Safety of Neural Networks from Topological Perspectives.

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

Published in: CoRR (2023)

Keyphrases

neural network
pattern recognition
fuzzy logic
artificial neural networks
model checking
data sets
topological spaces

safety critical
topological properties
neural nets
back propagation
neural network model
expert systems

feedforward neural networks
computational intelligence
fault diagnosis
self organizing maps
evolutionary algorithm
connected components

feed forward
rule extraction
e learning
cellular neural networks
genetic algorithm
real time