Jason Hull, David Ward, Radoslaw R. Zakrzewski. Verification and validation of neural networks for safety-critical applications. In American Control Conference, ACC 2002, Anchorage, Alaska, USA, May 8-10 2002. pages 4789-4794, IEEE, 2002. [doi]
Abstract is missing.