TY  - RPRT
TI  - Monitoring Arithmetic Temporal Properties on Finite Traces
AU  - Paolo Felli
AU  - Marco Montali
AU  - Fabio Patrizi
AU  - Sarah Winkler
PY  - 2022
UR  - https://arxiv.org/abs/2211.17166
ID  - 2211.17166
ER  -