机译:完善召回的多智能体系统模型检查时间复杂度的指数提高
Ershov Institute of Information Systems, Siberian Branch, Russian Academy of Sciences,pr. Akademika Lavrent'eva 6, Novosibirsk, 630090 Russia;
机译:具有知识,完美的回忆和过去的交替时间逻辑:公理化和模型检查
机译:完美召回的战略能力的有边界模型检查
机译:基于模型检查的改进的基于EGT的多代理系统协商策略鲁棒性分析
机译:完美召回系统模型检查的指数加速度
机译:使用可执行模型的移动代理系统的运行时一致性检查。
机译:座谈会论文自适应智能体情报和新兴人类组织:通过基于智能体的建模捕获复杂性:长屋谷地区Kayenta Anasazi的多智能体模型中的人口增长和崩溃
机译:模型检查交替时间的时间逻辑与知识,不完善的信息,完美的召回和沟通联盟