Abolfazl Lavaei, Majid Zamani. Compositional finite abstractions for large-scale stochastic switched systems. In Sriram Sankaranarayanan 0001, Sadegh Soudjani, editors, Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019. pages 3-5, ACM, 2019. [doi]
@inproceedings{LavaeiZ19-0,
title = {Compositional finite abstractions for large-scale stochastic switched systems},
author = {Abolfazl Lavaei and Majid Zamani},
year = {2019},
doi = {10.1145/3313149.3313347},
url = {https://doi.org/10.1145/3313149.3313347},
researchr = {https://researchr.org/publication/LavaeiZ19-0},
cites = {0},
citedby = {0},
pages = {3-5},
booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019},
editor = {Sriram Sankaranarayanan 0001 and Sadegh Soudjani},
publisher = {ACM},
isbn = {978-1-4503-6697-7},
}