%0 Journal Article
%T Analyzing Recurrent Neural Network by Probabilistic Abstraction
%A Dong, Guoliang
%A Wang, Jingyi
%A Sun, Jun
%A Zhang, Yang
%A Wang, Xinyu
%A Dai, Ting
%A Dong, Jin Song
%J Statistics
%V 2019
%N 1909
%D 2019-09-22
%~ DeepDyve