Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani. Compositional abstractions of interconnected discrete-time stochastic control systems. In 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017. pages 3551-3556, IEEE, 2017. [doi]
Abstract is missing.