Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs.
Saved in:
| Title: | Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs. |
|---|---|
| Authors: | Shi, Jieke1, jiekeshi@smu.edu.sg, Yang, Zhou1, zyang@smu.edu.sg, He, Junda1, jundahe@smu.edu.sg, Xu, Bowen2, bxu22@ncsu.edu, Kim, Dongsun3, darkrsw@korea.ac.kr, Han, Donggyun4, DongGyun.Han@rhul.ac.uk, Lo, David1, davidlo@smu.edu.sg |
| Source: | ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-35, 35p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
