Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu. Probabilistic Symbolic Analysis of Neural Networks. In Marco Vieira, Henrique Madeira, Nuno Antunes, Zheng Zheng 0001, editors, 31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020. pages 148-159, IEEE, 2020. [doi]
@inproceedings{ConverseFGP20,
title = {Probabilistic Symbolic Analysis of Neural Networks},
author = {Hayes Converse and Antonio Filieri and Divya Gopinath and Corina S. Pasareanu},
year = {2020},
doi = {10.1109/ISSRE5003.2020.00023},
url = {https://doi.org/10.1109/ISSRE5003.2020.00023},
researchr = {https://researchr.org/publication/ConverseFGP20},
cites = {0},
citedby = {0},
pages = {148-159},
booktitle = {31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020},
editor = {Marco Vieira and Henrique Madeira and Nuno Antunes and Zheng Zheng 0001},
publisher = {IEEE},
isbn = {978-1-7281-9870-5},
}