TY  - RPRT
TI  - A Linear Temporal Logic of Frequencies on Series of Events
AU  - Melissa Antonelli
AU  - Leonardo Ceragioli
AU  - Alessandro Giuseppe Buda
AU  - Giuseppe Primiero
PY  - 2026
UR  - https://arxiv.org/abs/2604.10669
ID  - 2604.10669
ER  -