APA (7th ed.) Citation

Zhang, J., Zhang, H., Liu, C., Wang, X., & Xu, L. (2026). Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations.

Chicago Style (17th ed.) Citation

Zhang, Jun, Haibo Zhang, Chun Liu, Xiaofan Wang, and Liang Xu. Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations. 2026.

MLA (9th ed.) Citation

Zhang, Jun, et al. Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations. 2026.