Advances in verification of ReLU neural networks.
Ansgar RössigMilena PetkovicPublished in: J. Glob. Optim. (2021)
Keyphrases
- neural network
- artificial neural networks
- pattern recognition
- face verification
- recent advances
- genetic algorithm
- neural network model
- fuzzy logic
- back propagation
- model checking
- recent developments
- multi layer
- artificial intelligence
- verification method
- neural nets
- formal methods
- formal verification
- concurrent systems
- computational intelligence
- person identification
- hopfield neural network
- cellular neural networks
- feedforward neural networks
- learning rules
- recurrent neural networks
- expert systems
- fault diagnosis