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

4 Downloads (Pure)

Original language	English
Journal	ACM Transactions on Software Engineering and Methodology
Early online date	27 Jan 2025
DOIs	https://doi.org/10.1145/3715105
Publication status	E-pub ahead of print - 27 Jan 2025

Access to Document

@article{b9ad85fbef8040168f388b05ba979fcd,

title = "Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs",

author = "Jieke Shi and Zhou Yang and Junda He and Bowen Xu and Dongsun Kim and DongGyun Han and David Lo",

year = "2025",

month = jan,

day = "27",

doi = "10.1145/3715105",

language = "English",

journal = "ACM Transactions on Software Engineering and Methodology",

issn = "1049-331X",

publisher = "Association for Computing Machinery (ACM)",

}

TY - JOUR

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

AU - Shi, Jieke

AU - Yang, Zhou

AU - He, Junda

AU - Xu, Bowen

AU - Kim, Dongsun

AU - Han, DongGyun

AU - Lo, David

PY - 2025/1/27

Y1 - 2025/1/27

UR - https://arxiv.org/abs/2410.04986

U2 - 10.1145/3715105

DO - 10.1145/3715105

M3 - Article

SN - 1049-331X

JO - ACM Transactions on Software Engineering and Methodology

JF - ACM Transactions on Software Engineering and Methodology

ER -