TY  - RPRT
TI  - Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL
AU  - Xinyuan Qiu
AU  - Ruohan Wang
AU  - Siyuan Liu
AU  - Sofie Haesaert
PY  - 2026
UR  - https://arxiv.org/abs/2604.06868
ID  - 2604.06868
ER  -