Ren, Dejin, et al. “Efficient Verification and Falsification of ReLU Neural Barrier Certificates”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 40, no. 42, Mar. 2026, pp. 35767-74, doi:10.1609/aaai.v40i42.40890.