Formally Exploring Time-Series Anomaly Detection Evaluation Metrics. - Dennis Wagner; Arjun Nair; Billy Joe Franks; Justus Arweiler; Aparna Muraleedharan; Indra Jungjohann; Fabian Hartung; Mayank C. Ahuja; Andriy Balinskyy; Saurabh Varshneya; Nabeel Hussain Syed; Mayank Nagda; et al. (CoRR, 2025)