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]
Abstract is missing.