Cita APA (7a ed.)

Ren, D., Xue, Y., Wu, T., & Xue, B. (2025). Efficient Verification and Falsification of ReLU Neural Barrier Certificates.

Cita Chicago Style (17a ed.)

Ren, Dejin, Yiling Xue, Taoran Wu, y Bai Xue. Efficient Verification and Falsification of ReLU Neural Barrier Certificates. 2025.

Cita MLA (9a ed.)

Ren, Dejin, et al. Efficient Verification and Falsification of ReLU Neural Barrier Certificates. 2025.