Verifying Global Two-Safety Properties in Neural Networks with Confidence.
Anagha AthavaleEzio BartocciMaria ChristakisMatteo MaffeiDejan NickovicGeorg WeissenbacherPublished in: CAV (2) (2024)
Keyphrases
- neural network
- fuzzy logic
- neural nets
- artificial neural networks
- recurrent neural networks
- back propagation
- structural properties
- database
- high confidence
- desirable properties
- global structure
- confidence level
- global information
- multilayer perceptron
- feed forward
- united states
- search engine
- genetic algorithm
- information retrieval