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

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

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
JournalACM Transactions on Software Engineering and Methodology
Publication statusAccepted/In press - 14 Jan 2025

Cite this