He, Fei; Gao, Xiaowei; Wang, Bow-Yaw; Zhang, Lijun Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems. (English) Zbl 1346.68133 Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 503-514 (2015). Cited in 5 Documents MSC: 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 68Q45 Formal languages and automata 68Q60 Specification and verification (program logics, model checking, etc.) 68Q87 Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) 68T05 Learning and adaptive systems in artificial intelligence Keywords:algorithmic learning; compositional verification; probabilistic model checking PDFBibTeX XMLCite \textit{F. He} et al., in: Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '15, Mumbai, India, January 12--18, 2015. New York, NY: Association for Computing Machinery (ACM). 503--514 (2015; Zbl 1346.68133) Full Text: DOI