Ren, D., Xue, Y., Wu, T., & Xue, B. (2025). Efficient Verification and Falsification of ReLU Neural Barrier Certificates.
Chicago Style (17th ed.) CitationRen, Dejin, Yiling Xue, Taoran Wu, and Bai Xue. Efficient Verification and Falsification of ReLU Neural Barrier Certificates. 2025.
MLA (9th ed.) CitationRen, Dejin, et al. Efficient Verification and Falsification of ReLU Neural Barrier Certificates. 2025.
Warning: These citations may not always be 100% accurate.