R.R. Zakrzewski

Randomized approach to verification of neural networks

R.R. Zakrzewski, R. Zakrzewski, 2004, 2004 IEEE International Joint Conference on Neural Networks (IEEE Cat. No.04CH37541).