TY  - RPRT
TI  - Correct-by-Design Control Synthesis of Stochastic Multi-agent Systems: a Robust Tensor-based Solution
AU  - Ruohan Wang
AU  - Siyuan Liu
AU  - Zhiyong Sun
AU  - Sofie Haesaert
PY  - 2026
UR  - https://arxiv.org/abs/2511.06873
ID  - 2511.06873
ER  -