TY  - RPRT
TI  - Model Checking for Metric Extensions of Monadic Second-Order Logic
AU  - Dibyayan Chakraborty
AU  - Sebastian Ordyniak
AU  - Sebastian Siebertz
PY  - 2026
UR  - https://arxiv.org/abs/2610.41974
ID  - 2610.41974
ER  -