首页 期刊 计算机科学 基于可能性测度的计算树逻辑CTL~*与可能性互模拟 【正文】

基于可能性测度的计算树逻辑CTL~*与可能性互模拟

作者:邓辉 薛艳 李亚利 李永明 陕西师范大学计算机科学学院 西安710062
可能的kripke结构   可能性测度   可能性互模拟   商可能性kripke结构  

摘要:提出了基于可能性测度的计算树逻辑CTL*(PoCTL*)的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。对商可能性Kripke结构及其相关构造进行了特别的研究。

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

学术咨询 免费咨询 杂志订阅