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

1. Background of the Verification and Validation of Neural Networks
Spiro T. Skias

2. Augmentation of Current Verification and Validation Practices
Kareem Ammar, Laura Pullum, Brian J. Taylor

3. Risk and Hazard Analysis for Neural Network Systems
Laura Pullum, Brian J. Taylor

4. Validation of Neural Networks Via Taxonomic Evaluation
Brian J. Taylor, James T. Smith

5. Stability Properties of Neural Networks
Edgar J. Fuller, Sampath K. Yerramalla, Bojan Cukic

6. Neural Network Verification
James T. Smith

7. Neural Network Visualization Techniques
Marjorie Darrah

8. Rule Extraction as a Formal Method
Marjorie Darrah, Brian J. Taylor

9. Automated Test Generation for Testing Neural Network Systems
Brian J. Taylor

10. Run-Time Assessment of Neural Network Control Systems
Bojan Cukic, Edgar Fuller, Martin Mladenovski, Sampath Yerramalla

Avainsanat: Computer Science, Computer Communication Networks, Artificial Intelligence (incl. Robotics), User Interfaces and Human Computer Interaction, Computer Systems Organization and Communication Networks, Computer Imaging, Vision, Pattern Recognition and Graphics, Pattern Recognition