Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath. On the probabilistic analysis of neural networks. In Shinichi Honiden, Elisabetta Di Nitto, Radu Calinescu, editors, SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June - 3 July, 2020. pages 5-8, ACM, 2020. [doi]