广义可能性决策过程的计算树逻辑模型检测

马占有1，2，李永明1

Computation tree logic model checking for
generalized possibilistic decision processes

MA Zhanyou1，2，LI Yongming1

计算机工程与科学 . 2015, (11): 2162 -2168 .