Self-Supervised Time-Series Anomaly Detection with Temporal Logic Explanations

Published in Conference on Game Theory and AI for Security, 2025