Ren D, Xue Y, Wu T, Xue B. Efficient Verification and Falsification of ReLU Neural Barrier Certificates. AAAI [Internet]. 2026 Mar. 14 [cited 2026 May 19];40(42):35767-74. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/40890