Details for the publication HeGWWZ16.

Fei He (), Xiaowei Gao, Miaofei Wang, Bow-Yaw Wang, Lijun Zhang: Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes. In ACM Trans. Softw. Eng. Methodol. 25(3):21:1-21:39, 2016. DOI BIB