机译:完美召回的战略能力的有边界模型检查
School of Computer Science and Engineering, University of New South Wales, Australia;
Model checking; Strategy logic; Incomplete information; Perfect recall;
机译:完善召回的多智能体系统模型检查时间复杂度的指数提高
机译:具有知识,完美的回忆和过去的交替时间逻辑:公理化和模型检查
机译:不完全信息和公平约束下模型检查策略的比较方法
机译:模型检查具有不完美信息的多种代理系统的特性和不完美召回
机译:Unbounded-2-bounded:两阶段近似,用于模型检查无穷大直到概率系统的性质。
机译:认知策略使用与日常数字信息的速释和长期召回测量数值能力
机译:模型检查交替时间的时间逻辑与知识,不完善的信息,完美的召回和沟通联盟
机译:检验点和恢复策略支持的交易系统的马尔可夫模型。第2部分:检查点之间具有指定事务数的aa模型