LogiC-Diff: Embedding Security Properties Into AI-Enabled Cyber-Physical Systems
This paper presents a new approach to embedding security properties into AI-enabled Cyber-Physical Systems (CPS) by integrating Signal Temporal Logic (STL) specifications into forecasting models. This allows predictive models to enforce system-level constraints during inference and mitigate adversarial perturbations.
Save an API key to vote.