Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis.
Tobias LadnerMatthias AlthoffPublished in: HSCC (2023)
Keyphrases
- sensitivity analysis
- neural network
- managerial insights
- variational inequalities
- influence diagrams
- artificial neural networks
- genetic algorithm
- pattern recognition
- fully automatic
- viewpoint
- semi automatic
- bp neural network
- face verification
- high level
- multi objective
- back propagation
- radial basis function
- neural network model
- recurrent neural networks
- objective function
- reinforcement learning
- bounded model checking
- neural network is trained