Felli, P.; Montali, M.; Patrizi, F.; Winkler, S. Monitoring Arithmetic Temporal Properties on Finite Traces. AAAI 2023, 37, 6346-6354.