基于模糊测度的模糊分支时态逻辑模型检测

刘子源, 马占有, 李霞, 高滢囡, 何娜娜, 黄瑞祺

Fuzzy computation tree logic* model checking based on fuzzy measures

LIU Zi-yuan, MA Zhan-you, LI Xia, GAO Ying-nan, HE Na-na, HUANG Rui-qi

计算机工程与科学 . 2024, (04): 676 -683 .