Verifying Safety of Neural Networks from Topological Perspectives.
Zhen LiangDejin RenBai XueJi WangWenjing YangWanwei LiuPublished 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