TY  - RPRT
TI  - Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
AU  - Luca Aceto
AU  - Antonis Achilleos
AU  - Duncan Paul Attard
AU  - Léo Exibard
AU  - Adrian Francalanza
AU  - Anna Ingólfsdóttir
AU  - Karoliina Lehtinen
PY  - 2025
UR  - https://arxiv.org/abs/2506.06172
ID  - 2506.06172
ER  -