Model Checking of Generalized Possibilistic Fuzzy-Time CTL with DP
WEI Jielin, YUAN Shen, LI Yongming, LIANG Changjian
Journal of Frontiers of Computer Science and Technology . 2019, (10): 1781 -1792 .  DOI: 10.3778/j.issn.1673-9418.1807037