On Verification & Validation of Neural Network Based Controllers
暂无分享,去创建一个
[1] LiMin Fu,et al. Neural networks in computer intelligence , 1994 .
[2] Algirdas Avizienis,et al. The N-Version Approach to Fault-Tolerant Software , 1985, IEEE Transactions on Software Engineering.
[3] R. R. Zakrzewski. Verification of a trained neural network accuracy , 2001, IJCNN'01. International Joint Conference on Neural Networks. Proceedings (Cat. No.01CH37222).
[4] Wray L. Buntine,et al. Bayesian Back-Propagation , 1991, Complex Syst..
[5] Anthony J. Calise,et al. FAULT TOLERANT FLIGHT CONTROL VIA ADAPTIVE NEURAL NETWORK AUGMENTATION , 1998 .
[6] Alan F. Murray,et al. Confidence estimation methods for neural networks : a practical comparison , 2001, ESANN.
[7] Heekuck Oh,et al. Neural Networks for Pattern Recognition , 1993, Adv. Comput..
[8] David J. C. MacKay,et al. Bayesian Interpolation , 1992, Neural Computation.
[9] Ali Mili,et al. Certifying Adaptive Flight Control Software , 2000 .
[10] Geoffrey E. Hinton,et al. Bayesian Learning for Neural Networks , 1995 .
[11] Richard D. De Veaux,et al. Estimating Prediction Intervals for Arti cial Neural Networks , 2022 .
[12] Wen Wu,et al. Towards Developing Verifiable Neural Network Controller , 1996 .
[13] Philip E. Gill,et al. Practical optimization , 1981 .