Ren, D. (2026) “Efficient Verification and Falsification of ReLU Neural Barrier Certificates”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(42), pp. 35767–35774. doi: 10.1609/aaai.v40i42.40890.