Self-Supervised Time-Series Anomaly Detection with Temporal Logic Explanations
Noorani, M., Puranic, A.G., Mirenzi, J., Baras, J.S. (2026). Self-supervised Time-Series Anomaly Detection with Temporal Logic Explanations. In: Baras, J.S., Papavassiliou S., Tsiropoulou, E.E., Sayin, M.O. (eds) Game Theory and AI for Security. GameSec 2025. Lecture Notes in Computer Science, vol 16224. Springer, Cham. https://doi.org/10.1007/978-3-032-08067-7_15
