%0 Journal Article %1 journals/corr/abs-1709-10312 %A Lavaei, Abolfazl %A Soudjani, Sadegh Esmaeil Zadeh %A Majumdar, Rupak %A Zamani, Majid %D 2017 %J CoRR %K dblp %T Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. %U http://dblp.uni-trier.de/db/journals/corr/corr1709.html#abs-1709-10312 %V abs/1709.10312

@article{journals/corr/abs-1709-10312, added-at = {2018-08-13T00:00:00.000+0200}, author = {Lavaei, Abolfazl and Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Zamani, Majid}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a71bf7f9ad63a493f7633544aaa54578/dblp}, ee = {http://arxiv.org/abs/1709.10312}, interhash = {df2990dc7de49997d064856ac34d8894}, intrahash = {a71bf7f9ad63a493f7633544aaa54578}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:42:20.000+0200}, title = {Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1709.html#abs-1709-10312}, volume = {abs/1709.10312}, year = 2017 }