Monitoring Arithmetic Temporal Properties on Finite Traces

Felli et al. "Monitoring Arithmetic Temporal Properties on Finite Traces." AAAI Conference on Artificial Intelligence, 2023. doi:10.1609/AAAI.V37I5.25781

[Felli et al. "Monitoring Arithmetic Temporal Properties on Finite Traces." AAAI Conference on Artificial Intelligence, 2023.](https://mlanthology.org/aaai/2023/felli2023aaai-monitoring/) doi:10.1609/AAAI.V37I5.25781

@inproceedings{felli2023aaai-monitoring,
  title     = {{Monitoring Arithmetic Temporal Properties on Finite Traces}},
  author    = {Felli, Paolo and Montali, Marco and Patrizi, Fabio and Winkler, Sarah},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {6346-6354},
  doi       = {10.1609/AAAI.V37I5.25781},
  url       = {https://mlanthology.org/aaai/2023/felli2023aaai-monitoring/}
}