模糊交互时态逻辑的模型检测

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

模糊交互时态逻辑的模型检测

袁红娟1,2,马艳芳3,潘海玉1,2

Model checking for fuzzy alternating-time temporal logic

YUAN Hong-juan1,2,MA Yan-fang3,PAN Hai-yu1,2

计算机工程与科学 . 2017, (12): 2290 -2296 .