D. Ren, Y. Xue, T. Wu, and B. Xue, “Efficient Verification and Falsification of ReLU Neural Barrier Certificates”, AAAI, vol. 40, no. 42, pp. 35767–35774, Mar. 2026.