Track C1: Safety Verification of Deep Neural Networks (DNNs).
Daniel NeiderTaylor T. JohnsonPublished in: AISoLA (2023)
Keyphrases
- neural network
- pattern recognition
- safety analysis
- face verification
- back propagation
- data sets
- learning rules
- training algorithm
- recurrent neural networks
- neural network model
- model checking
- artificial neural networks
- genetic algorithm
- feed forward
- formal verification
- fuzzy logic
- fuzzy systems
- training process
- self organizing maps
- activation function
- real time tracking
- deep learning
- fuzzy neural network
- database
- nuclear power plant
- verification method
- formal analysis
- data mining
- multilayer perceptron
- rough sets
- sufficient conditions
- united states