Wang, Shuling; Zhan, Naijun; Zhang, Lijun A compositional modelling and verification framework for stochastic hybrid systems. (English) Zbl 1370.68220 Formal Asp. Comput. 29, No. 4, 751-775 (2017). MSC: 68Q85 68Q60 68Q87 93C30 93C83 PDFBibTeX XMLCite \textit{S. Wang} et al., Formal Asp. Comput. 29, No. 4, 751--775 (2017; Zbl 1370.68220) Full Text: DOI
Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun Extending hybrid CSP with probability and stochasticity. (English) Zbl 1369.68264 Li, Xuandong (ed.) et al., Dependable software engineering: theories, tools, and applications. First international symposium, SETTA 2015, Nanjing, China, November 4–6, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25941-3/pbk; 978-3-319-25942-0/ebook). Lecture Notes in Computer Science 9409, 87-102 (2015). MSC: 68Q85 68Q60 68Q87 93C30 93C83 PDFBibTeX XMLCite \textit{Y. Peng} et al., Lect. Notes Comput. Sci. 9409, 87--102 (2015; Zbl 1369.68264) Full Text: DOI arXiv