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.

RSS Score 0 10/1/2026, 4:00:00 AM Original Source
Save an API key to vote.