Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs. - Shi, Jieke; Yang, Zhou; He, Junda; Xu, Bowen; Kim, Dongsun; Han, Donggyun; Lo, David (ACM Transactions on Software Engineering & Methodology, 2025)