SafeDNN: understanding and verifying neural networks (keynote).
Corina S. PasareanuPublished in: A-TEST@ESEC/SIGSOFT FSE (2020)
Keyphrases
- neural network
- recurrent neural networks
- fuzzy logic
- pattern recognition
- competitive learning
- artificial neural networks
- evolutionary algorithm
- fault diagnosis
- feed forward
- information systems
- neural nets
- fuzzy systems
- case study
- feature selection
- rough sets
- model checking
- multi layer
- learning rules
- deeper understanding
- data sets