Neural Network Robustness as a Verification Property: A Principled Case Study.
Marco CasadioEkaterina KomendantskayaMatthew L. DaggittWen KokkeGuy KatzGuy AmirIdan RefaeliPublished in: CAV (1) (2022)
Keyphrases
- case study
- neural network
- artificial neural networks
- neural network model
- back propagation
- real world
- fuzzy logic
- model checking
- high robustness
- learning vector quantization
- formal verification
- face verification
- desirable properties
- business process
- evolutionary algorithm
- pattern recognition
- computational efficiency
- software development
- neural network is trained
- self organizing maps
- database
- radial basis function
- development process
- recurrent neural networks
- control system
- fingerprint verification
- artificial intelligence
- hybrid intelligent