@misc{indiciae937c5f3140ce,
  title = {Monitoring Arithmetic Temporal Properties on Finite Traces},
  author = {Paolo Felli and Marco Montali and Fabio Patrizi and Sarah Winkler},
  year = {2022},
  url = {https://arxiv.org/abs/2211.17166},
  note = {Source identifier: 2211.17166}
}