Neural Networks Verification: Perspectives from Formal Method.
Priyanka MaityPublished in: ISEC (2024)
Keyphrases
- neural network
- detection method
- pattern recognition
- preprocessing
- dynamic programming
- cost function
- experimental evaluation
- synthetic data
- formal methods
- classification method
- clustering method
- optimization algorithm
- image registration
- computational cost
- significant improvement
- pairwise
- model selection
- support vector machine
- error rate
- segmentation method
- model checking
- high precision