Publication [TaoLSLWZ23] An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks Tao, Y.; Liu, W.; Song, F.; Liang, Z.; Wang, J. and Zhu, H. In Proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis (ATVA), pages 380-400, 2023.Downloads: bib