广义可能性互模拟及其逻辑刻画
来源：计算机工程与科学杂志2015年第5期北京时间：
作者：张兴兴,邓楠轶,马占有,李永明
单位：陕西师范大学计算机科学学院,陕西 西安 710062
摘要：首先，给出了基于广义可能性测度的计算树逻辑的扩展GPoCTL*、计算树逻辑的约简GPoCTL－以及带回报的计算树逻辑GPoRCTL的语构和语义。在经典互模拟和广义可能性测度的基础上讨论了广义可能性互模拟及其相关性质。最后证明了GPoCTL、GPoCTL*和GPoCTL－公式与互模拟状态之间的等价关系。
关键词：广义可能性测度；可能性互模拟；计算树逻辑,
基金资助：国家自然科学基金资助项目(11271237,61228305)；高等学校博士学科点专项基金资助项目(20130202120001)
