ARENA: Enhancing Abstract Refinement for Neural Network Verification.
Yuyi ZhongQuang-Trung TaSiau-Cheng KhooPublished in: VMCAI (2023)
Keyphrases
- neural network
- back propagation
- artificial neural networks
- model checking
- pattern recognition
- formal verification
- image reconstruction from projections
- neural network model
- concurrent systems
- neural network is trained
- fuzzy logic
- low level
- high level
- hybrid neural network
- fuzzy artmap
- auto associative
- database
- formal analysis
- fuzzy neural network
- network architecture
- network model
- feed forward
- higher level
- learning rate
- activation function
- neural nets
- signature verification
- multilayer perceptron
- learning vector quantization
- self organizing maps
- verification method
- radial basis
- fault diagnosis
- search engine
- genetic algorithm