Publication [HeGWWZ16] Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes He, F.; Gao, X.; Wang, M.; Wang, B.-Y. and Zhang, L. In ACM Trans. Softw. Eng. Methodol., 25: 21:1-21:39, 2016. doi.. Downloads: bibURL: http://doi.acm.org/10.1145/2907943
