@misc{indiciaed3b7545911e7,
  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},
  url = {https://arxiv.org/abs/2410.04986},
  note = {Source identifier: 2410.04986}
}