Adversarial Robustness of Time-Series Classification for Crystal Collimator Alignment. - Xaver Fink; Borja Fernández Adiego; Daniele Mirarchi; Eloise Matheson; Alvaro Garcia Gonzales; Gianmarco Ricci; Joost-Pieter Katoen (NASA Formal Methods - 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings, 2026)