Johann Schumann, Stacy D. Nelson. Toward V&V of neural network based controllers. In David Garlan, Jeff Kramer, Alexander L. Wolf, editors, Proceedings of the First Workshop on Self-Healing Systems, WOSS 2002, Charleston, South Carolina, USA, November 18-19, 2002. pages 67-72, ACM, 2002. [doi]
Abstract is missing.