Verifying Global Two-Safety Properties in Neural Networks with Confidence.
Anagha AthavaleEzio BartocciMaria ChristakisMatteo MaffeiDejan NickovicGeorg WeissenbacherPublished in: CoRR (2024)
Keyphrases
- neural network
- pattern recognition
- fuzzy logic
- genetic algorithm
- high confidence
- global structure
- data sets
- multi layer perceptron
- desirable properties
- neural nets
- structural properties
- recurrent neural networks
- feed forward
- neural network model
- model checking
- fault diagnosis
- back propagation
- evolutionary algorithm
- data mining