Mahshid Noorani, Aniruddh Gopinath Puranic, Jack Mirenzi, John S. Baras. Self-supervised Time-Series Anomaly Detection with Temporal Logic Explanations. In John S. Baras, Symeon Papavassiliou, Eirini-Eleni Tsiropoulou, Muhammed O. Sayin, editors, Game Theory and AI for Security - 16th International Conference, GameSec 2025, Athens, Greece, October 13-15, 2025, Proceedings, Part II. Volume 16224 of Lecture Notes in Computer Science, pages 294-312, Springer, 2024. [doi]
Abstract is missing.