LogiC-Diff: Embedding Security Properties Into AI-Enabled Cyber-Physical Systems.

arXiv:2609.38381v1 Announce Type: cross Abstract: AI-enabled Cyber-Physical Systems (CPS) are highly vulnerable to adversarial and anomalous inputs, where small perturbations can induce cascading errors and unsafe control actions. Existing approaches, such as