Felli, P., Montali, M., Patrizi, F., & Winkler, S. (2023). Monitoring Arithmetic Temporal Properties on Finite Traces. Proceedings of the AAAI Conference on Artificial Intelligence, 37(5), 6346-6354. https://doi.org/10.1609/aaai.v37i5.25781