A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems.

Pramod Gupta Johann Schumann A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems. 277-278 2004 conf/hase/2004 HASE http://csdl.computer.org/comp/proceedings/hase/2004/2094/00/20940277abs.htm db/conf/hase/hase2004.html#GuptaS04