The paper entitled “Verifying STL Properties of Sliding-Window Neural Classifiers under Adversarial Perturbations” by Xaver Fink (CERN+RWTH), Borja Adiego Fernandez (CERN) and Joost-Pieter Katoen has been accepted for presemtation at RExAI 2026 : International Workshop on Formal Requirements Engineering and Artificial Intelligence. This paper considers the problem of robustness verification (using STL) for neural network classifiers that operate on time-series data via sliding windows.