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]

Authors

Corina S. Pasareanu

This author has not been identified. Look up 'Corina S. Pasareanu' in Google

Hayes Converse

This author has not been identified. Look up 'Hayes Converse' in Google

Antonio Filieri

This author has not been identified. Look up 'Antonio Filieri' in Google

Divya Gopinath

This author has not been identified. Look up 'Divya Gopinath' in Google