10.3969/j.issn.1002-137X.2012.10.059
基于可能性测度的计算树逻辑CTL*与可能性互模拟
提出了基于可能性测度的计算树逻辑CTL* (PoCTL*)的概念.给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨.对商可能性Kripke结构及其相关构造进行了特别的研究.
可能的Kripke结构、可能性测度、可能性计算树逻辑PoCTL*、可能性互模拟、商可能性Kripke结构
39
TP301.2(计算技术、计算机技术)
国家自然科学基金60873119;中央高校基本科研费GK201001003
2013-01-05(万方平台首次上网日期,不代表论文的发表时间)
共6页
258-263