Fast Falsification of Neural Networks using Property Directed Testing.
Moumita DasRajarshi RaySwarup Kumar MohalikAnsuman BanerjeePublished in: CoRR (2021)
Keyphrases
- neural network
- pattern recognition
- genetic algorithm
- neural nets
- back propagation
- neural network model
- fuzzy systems
- recurrent neural networks
- real time
- fuzzy logic
- artificial neural networks
- desirable properties
- training process
- feedforward neural networks
- test cases
- radial basis function
- feed forward
- information systems
- computer vision
- machine learning
- network architecture
- rule extraction
- global consistency
- neural learning