Verification and validation of neural networks: a sampling of research in progress

Mapping Intimacies ◽

10.1117/12.487527 ◽

2003 ◽

Author(s):

Brian J. Taylor ◽

Marjorie A. Darrah ◽

Christina D. Moats

Keyword(s):

Neural Networks ◽

Verification And Validation

Download Full-text

Verification and Validation of Real-Time Adaptive Neural Networks Using ANCT Tools and Methodologies, an Application to Intelligent Flight Control Systems F-15 Project

Infotech@Aerospace ◽

10.2514/6.2005-6997 ◽

2005 ◽

Author(s):

Fola Soares ◽

Kenneth Loparo ◽

John Burken ◽

Stephen Jacklin ◽

Pramod Gupta

Keyword(s):

Neural Networks ◽

Control Systems ◽

Real Time ◽

Flight Control ◽

Verification And Validation ◽

Adaptive Neural Networks

Download Full-text

Verification and validation of neural networks for safety-critical applications

Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301) ◽

10.1109/acc.2002.1025416 ◽

2002 ◽

Author(s):

J. Hull ◽

D. Ward ◽

R.R. Zakrzewski

Keyword(s):

Neural Networks ◽

Verification And Validation ◽

Safety Critical

Download Full-text

Guidance for the Verification and Validation of Neural Networks

10.1108/k.2008.06737hae.002 ◽

2008 ◽

Vol 37 (8) ◽

Keyword(s):

Neural Networks ◽

Verification And Validation

Download Full-text

Verification and Validation of Neural Networks - Guidance

Guidance for the Verification and Validation of Neural Networks ◽

10.1002/9781119134671.ch3 ◽

2015 ◽

pp. 39-110

Author(s):

Laura L. Pullum ◽

Brian J. Taylor ◽

Majorie A. Darrah

Keyword(s):

Neural Networks ◽

Verification And Validation

Download Full-text

Potential Application of Neural Networks to Verification and Validation of Complex Systems

Verification and Validation of Complex Systems: Human Factors Issues ◽

10.1007/978-3-662-02933-6_45 ◽

1993 ◽

pp. 617-623

Author(s):

Ozer Ciftcioglu ◽

Erdinc Turkcan

Keyword(s):

Neural Networks ◽

Complex Systems ◽

Potential Application ◽

Verification And Validation

Download Full-text

Guidance for the Verification and Validation of Neural Networks

10.1002/9781119134671 ◽

2015 ◽

Author(s):

Laura L. Pullum ◽

Brian J. Taylor ◽

Majorie A. Darrah

Keyword(s):

Neural Networks ◽

Verification And Validation

Download Full-text

Methods and Procedures for the Verification and Validation of Artificial Neural Networks

10.1007/0-387-29485-6 ◽

2006 ◽

Keyword(s):

Neural Networks ◽

Artificial Neural Networks ◽

Verification And Validation ◽

Artificial Neural

Download Full-text

Rule extraction as a formal method for the verification and validation of neural networks

Proceedings. 2005 IEEE International Joint Conference on Neural Networks, 2005. ◽

10.1109/ijcnn.2005.1556388 ◽

2006 ◽

Author(s):

B.J. Taylor ◽

M.A. Darrah

Keyword(s):

Neural Networks ◽

Formal Method ◽

Rule Extraction ◽

Verification And Validation

Download Full-text

Using Drones as Reference Sensors for Neural-Networks-Based Modeling of Automotive Perception Errors**The research leading to these results is funded by the Federal Ministry for Economic Affairs and Energy within the project “VVM - Verification and Validation Methods for Automated Vehicles Level 4 and 5”. The authors would like to thank the consortium for the successful cooperation.

2020 IEEE Intelligent Vehicles Symposium (IV) ◽

10.1109/iv47402.2020.9304615 ◽

2020 ◽

Author(s):

Robert Krajewski ◽

Michael Ross ◽

Adrian Meister ◽

Fabian Thomsen ◽

Julian Bock ◽

...

Keyword(s):

Neural Networks ◽

Verification And Validation ◽

Automated Vehicles ◽

Validation Methods

Download Full-text

Background of the Verification and Validation of Neural Networks

Methods and Procedures for the Verification and Validation of Artificial Neural Networks ◽

10.1007/0-387-29485-6_1 ◽

2006 ◽

pp. 1-12

Author(s):

Spiro T. Skias

Keyword(s):

Neural Networks ◽

Verification And Validation

Download Full-text