Verifying safety of neural networks from topological perspectives.
Zhen LiangDejin RenBai XueJi WangWenjing YangWanwei LiuPublished in: Sci. Comput. Program. (2024)
Keyphrases
- neural network
- pattern recognition
- fuzzy logic
- neural nets
- topological properties
- genetic algorithm
- back propagation
- competitive learning
- learning rules
- multi layer
- model checking
- topological spaces
- multilayer perceptron
- control system
- neural network model
- united states
- artificial neural networks
- feedforward neural networks
- case study
- machine learning
- data sets