Verification of MAS; Model Checking; Partial order reduction;
机译:交错多主体系统上模型检查时间流行病逻辑的偏序约简
机译:使用归约模型在多主体系统中检查时间知识和承诺
机译:检查概率颞抑制逻辑的模型不可透明的情况
机译:用于模型检查交错多功能系统的模型算术算法
机译:使用多路决策图对一阶时间逻辑进行模型检查。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:同步多智能体系统中时间认知逻辑的有界模型检验
机译:具有公平约束的petri网线性时态逻辑性质模型检验。