Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes. - Fei He 001; Xiaowei Gao; Miaofei Wang; Bow-Yaw Wang; Lijun Zhang 001 (ACM Trans. Softw. Eng. Methodol., 2016)