可能性互模拟相关论文
提出了基于可能性测度的计算树逻辑CTL＊（PoCTL＊）的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。......
首先,给出了基于广义可能性测度的计算树逻辑的扩展GPoCTL＊、计算树逻辑的约简GPoCTL^-以及带回报的计算树逻辑GPoRCTL的语构和语义......
