Ren, D.; Xue, Y.; Wu, T.; Xue, B. Efficient Verification and Falsification of ReLU Neural Barrier Certificates. AAAI 2026, 40, 35767-35774.