APA (7th ed.) Citation

Shi, J., Yang, Z., He, J., Xu, B., Kim, D., Han, D., & Lo, D. (2025). Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs. ACM Transactions on Software Engineering & Methodology, 34(7), 1. https://doi.org/10.1145/3715105

Chicago Style (17th ed.) Citation

Shi, Jieke, Zhou Yang, Junda He, Bowen Xu, Dongsun Kim, Donggyun Han, and David Lo. "Finding Safety Violations of AI-Enabled Control Systems Through the Lens of Synthesized Proxy Programs." ACM Transactions on Software Engineering & Methodology 34, no. 7 (2025): 1. https://doi.org/10.1145/3715105.

MLA (9th ed.) Citation

Shi, Jieke, et al. "Finding Safety Violations of AI-Enabled Control Systems Through the Lens of Synthesized Proxy Programs." ACM Transactions on Software Engineering & Methodology, vol. 34, no. 7, 2025, p. 1, https://doi.org/10.1145/3715105.