TY - RPRT TI - Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems AU - Abolfazl Lavaei AU - Sadegh Soudjani AU - Majid Zamani PY - 2020 UR - https://arxiv.org/abs/1808.00893 ID - 1808.00893 ER -