Author:
Pulina Luca,Tacchella Armando
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference34 articles.
1. Zhang, G.P.: Neural networks for classification: a survey. IEEE Trans. Syst. Man Cybern., Part C Appl. Rev. 30(4), 451–462 (2000)
2. Smith, D.J., Simpson, K.G.L.: Functional Safety – A Straightforward Guide to Applying IEC 61505 and Related Standards (2nd edn.). Elsevier (2004)
3. Schumann, J., Gupta, P., Nelson, S.: On verification & validation of neural network based controllers. In: Proc. of International Conf. on Engineering Applications of Neural Networks (EANN’03) (2003)
4. Kurd, Z., Kelly, T., Austin, J.: Developing artificial neural networks for safety critical systems. Neural Comput. Appl. 16(1), 11–19 (2007)
5. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. (TOPLAS) 8(2), 263 (1986)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献