@misc{indiciae726228056923,
  title = {Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL},
  author = {Xinyuan Qiu and Ruohan Wang and Siyuan Liu and Sofie Haesaert},
  year = {2026},
  url = {https://arxiv.org/abs/2604.06868},
  note = {Source identifier: 2604.06868}
}