On the probabilistic analysis of neural networks

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]

Abstract

Abstract is missing.