郑州大学学报（理学版）2022，Vol.54Issue(4)：34-41,8.DOI:10.13705/j.issn.1671-6841.2021291
广义可能性计算树逻辑模型检测中的成本分析
Cost Analysis of Generalized Possibilistic Computation Tree Logic Model Checking
摘要
关键词
模型检测/带成本的广义可能性决策过程/广义可能性计算树逻辑/期望成本分类
信息技术与安全科学引用本文复制引用
马占有,李健祥,李召恺,郭昊..广义可能性计算树逻辑模型检测中的成本分析[J].郑州大学学报（理学版）,2022,54(4):34-41,8.基金项目
国家自然科学基金项目(61962001) （61962001）
宁夏自然科学基金项目(2018AAC03127) （2018AAC03127）
北方民族大学引进人员科研项目(2020KYQD14). （2020KYQD14）
