TY  - RPRT
TI  - Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs
AU  - Jieke Shi
AU  - Zhou Yang
AU  - Junda He
AU  - Bowen Xu
AU  - Dongsun Kim
AU  - DongGyun Han
AU  - David Lo
PY  - 2025
UR  - https://arxiv.org/abs/2410.04986
ID  - 2410.04986
ER  -