Qiu, X., Wang, R., Liu, S., & Haesaert, S. (2026). Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL.
Style de citation Chicago (17e éd.)Qiu, Xinyuan, Ruohan Wang, Siyuan Liu, et Sofie Haesaert. Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL. 2026.
Style de citation MLA (9e éd.)Qiu, Xinyuan, et al. Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.