Symbolic Encoding of Neural Networks using Communicating Automata with Applications to Verification of Neural Network Based Controllers
暂无分享,去创建一个
[1] Johann Schumann,et al. On Verification & Validation of Neural Network Based Controllers , 2003 .
[2] Howard Bowman,et al. Rendering information processing models of cognition and affect compu- tationally explicit: distributed executive control and the deployment of attention , 2003 .
[3] J. Fodor,et al. Connectionism and cognitive architecture: A critical analysis , 1988, Cognition.
[4] Leslie S. Smith,et al. A Framework for Neural Net Specification , 1992, IEEE Trans. Software Eng..
[5] Geoffrey E. Hinton,et al. Learning internal representations by error propagation , 1986 .
[6] Howard Bowman,et al. Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems , 2005 .
[7] Hava T. Siegelmann,et al. Verifying Properties of Neural Networks , 2001, IWANN.
[8] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.