Abolfazl Lavaei, Majid Zamani. Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions. In 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019. pages 2574-2579, IEEE, 2019. [doi]
Abstract is missing.