Probabilistic Symbolic Analysis of Neural Networks | IEEE Conference Publication | IEEE Xplore