Ren, D., Xue, Y., Wu, T., & Xue, B. (2026). Efficient Verification and Falsification of ReLU Neural Barrier Certificates. Proceedings of the AAAI Conference on Artificial Intelligence, 40(42), 35767–35774. https://doi.org/10.1609/aaai.v40i42.40890