可能性测度下计算树逻辑的若干性质

• 作者: 李亚利 李永明
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 计算树逻辑 可能的Kripke结构 等价性 定性性质 定量性质
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 6-11
• 页数: 6页
• 分类号: TP301.2
• 字数: 6136字
• 语种: 中文

摘要

为讨论可能的计算树逻辑(PoCTL)与计算树逻辑(CTL)的关系,给出PoCTL公式与CTL公式等价的概念,利用公式的等价性证明了CTL是PoCTL的一个真子集.通过PoCTL模型检测算法与PoCTL公式的分析,解决了PoCTL模型检测的时间复杂度问题.最后对重复事件与持久性事件的定性性质及定量性质进行研究,用实例验证了CTL公式与PoCTL公式在可能性测度与概率测度下的本质区别.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	李亚利	陕西师范大学计算机科学学院	2	17	2.0	2.0