TY - RPRT TI - Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic AU - Eleftherios E. Vlahakis AU - Lars Lindemann AU - Pantelis Sopasakis AU - Dimos V. Dimarogonas PY - 2024 UR - https://arxiv.org/abs/2405.02827 ID - 2405.02827 ER -