Original language | English |
---|---|
Journal | ACM Transactions on Software Engineering and Methodology |
Publication status | Accepted/In press - 14 Jan 2025 |
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 journal › Article › peer-review