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

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

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

袁申,魏杰林,李永明

Model checking of generalized possibilistic

computation tree logic with multi-valued decision process

YUAN Shen,WEI Jielin,LI Yongming

计算机工程与科学 . 2019, (01): 88 -97 .