@misc{indiciae706a5aa5d107,
  title = {Correct-by-Design Control Synthesis of Stochastic Multi-agent Systems: a Robust Tensor-based Solution},
  author = {Ruohan Wang and Siyuan Liu and Zhiyong Sun and Sofie Haesaert},
  year = {2026},
  url = {https://arxiv.org/abs/2511.06873},
  note = {Source identifier: 2511.06873}
}