Incremental Verification of Neural Networks.
Shubham UgareDebangshu BanerjeeSasa MisailovicGagandeep SinghPublished in: CoRR (2023)
Keyphrases
- neural network
- pattern recognition
- artificial neural networks
- model checking
- genetic algorithm
- back propagation
- fuzzy logic
- incremental learning
- case study
- fuzzy systems
- multilayer perceptron
- formal analysis
- training algorithm
- recurrent neural networks
- data sets
- artificial intelligence
- feed forward
- self organizing maps
- knowledge acquisition
- neural nets
- data driven
- training process
- computational intelligence
- multi layer perceptron
- learning rules
- competitive learning
- cellular neural networks
- neural learning
- incremental version
- functional verification