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

Jieke Shi, Zhou Yang, Junda He +4

Given the increasing adoption of modern AI-enabled control systems, ensuring their safety and reliability has become a critical task in software testing. One prevalent approach to…