TY - RPRT TI - Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring AU - Andrea Brunello AU - Luca Geatti AU - Angelo Montanari AU - Nicola Saccomanno PY - 2025 UR - https://arxiv.org/abs/2508.17786 ID - 2508.17786 ER -