Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs

Open Webpage

Jieke Shi, Zhou Yang, Junda He, Bowen Xu, Dongsun Kim, DongGyun Han, David Lo

Published: 2025, Last Modified: 07 Jan 2026ACM Trans. Softw. Eng. Methodol. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0