APA (7th ed.) Citation

Zhou, J., Wu, H., Yu, H., & Yang, K. (2025). Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems.

Chicago Style (17th ed.) Citation

Zhou, Jingyuan, Haoze Wu, Haokun Yu, and Kaidi Yang. Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems. 2025.

MLA (9th ed.) Citation

Zhou, Jingyuan, et al. Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems. 2025.