SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks.
Fabian Bauer-MarquartDavid BoetiusStefan LeueChristian SchillingPublished in: SPIN (2022)
Keyphrases
- neural network
- artificial neural networks
- pattern recognition
- competitive learning
- neural network model
- databases
- multi layer perceptron
- fuzzy systems
- fault diagnosis
- back propagation
- database
- genetic algorithm
- fuzzy logic
- activation function
- network architecture
- neural nets
- soft computing
- multilayer perceptron
- feed forward
- decision making
- fuzzy neural network
- information retrieval
- monitoring system
- computational intelligence
- deep architectures
- road safety
- neural network is trained