麦克马斯

MCMAS:一个用于多智能体系统验证的模型检查器。虽然各种形式的时态逻辑已经被证明对反应性系统的推理至关重要,但是基于agent的场景通常是通过考虑高级agent的态度来指定的。特别是,基于认知逻辑[7]或知识逻辑的规范语言已经被证明在机器人、安全协议、web服务等多个领域都是有用的,众所周知,涉及匿名性的安全规范[4]可以自然地用认知形式表达,因为它们明确指出了主体的不同种类的知识的缺乏。


zbMATH中的参考文献(参考文献72条)

显示第1到第20个结果,共72个。
按年份排序(引用)
  1. 贝拉迪内利,弗朗西斯科;康杜拉什,罗迪卡;迪马,Cătă林;贾姆罗加,沃伊切赫;克纳皮克(Knapik,Michal):验证战略能力与三票投票协议(2021年)的应用的相互模拟
  2. 贝拉迪内利,弗朗西斯科;洛穆西奥,阿莱西奥;穆拉诺,阿尼埃洛;Rubin,Sasha:基于策略逻辑的公共行为的多智能体系统验证(2020)
  3. 波兰德,托马斯;特里斯坦,查理;平奇纳特,索菲;施瓦森特鲁伯,弗兰çois:基于DEL的认知规划:可判定性和复杂性(2020)
  4. 波泽利,劳拉;阿尔伯托莫里纳里;蒙塔纳里,安杰洛;Peron,Adriano:带正则表达式的模型检验区间时间逻辑(2020)
  5. 波泽利,劳拉;穆拉诺,阿尼埃洛;Sorrentino,Loredana:具有线性过去的交替时间-时间逻辑(2020)
  6. 嘉迪,帕特里克;布耶,帕特里夏;尼古拉斯·马基:《战略逻辑中的依赖》(2020)
  7. 古铁雷斯,朱利安;纳吉布,穆罕默德;佩雷利,朱塞佩;伍尔德里奇,迈克尔:自动时间均衡分析:多人游戏的验证和综合(2020)
  8. Lorini,Emiliano:用信念基础反思认知逻辑(2020)
  9. 马查多,维托;马里奥·贝尼维德斯:大众宣告逻辑(PPAL)(2020)
  10. 穆拉诺,阿尼埃洛;父母,米莫;鲁宾,萨沙;Sorrentino,Loredana:带有限路径语义的模型检查分级计算树逻辑(2020)
  11. 波泽利,劳拉;阿尔伯托莫里纳里;蒙塔纳里,安杰洛;佩隆,阿德里亚诺;Sala,Pietro:在模型检查中,区间时态逻辑的哪些片段是可处理的(2019年)
  12. 古铁雷斯,朱利安;哈伦斯坦,保罗;佩雷利,朱塞佩;伍尔德里奇,迈克尔:纳什均衡和互模拟不变性(2019)
  13. 沃杰卡;克纳皮克,米迦ł; 库皮耶夫斯基,达米安;米库尔斯基,Łukasz:不完全信息下战略能力的近似验证(2019)
  14. 贾姆罗加,沃伊切赫;马尔文,瓦迪姆;穆拉诺,阿尼埃洛:自然战略能力(2019)
  15. 阿密夫,本杰明;马尔文,瓦迪姆;穆拉诺,阿尼埃洛;鲁宾,萨沙:战略逻辑中的分级模式(2018)
  16. 波泽利,劳拉;阿尔伯托莫里纳里;蒙塔纳里,安杰洛;佩隆,阿德里亚诺;Sala,Pietro:在多项式时间层次的低水平上对区间时序逻辑HS片段的模型检查(2018)
  17. Čák、 彼得;洛穆西奥,阿莱西奥;莫加韦罗,法比奥;Murano,Aniello:根据\textscslks规范对多智能体系统进行实际验证(2018年)
  18. 丹尼斯,路易丝A。;费舍尔,迈克尔;韦伯斯特,马特:两阶段代理程序验证(2018)
  19. 古铁雷斯,朱利安;佩雷利,朱塞佩;伍尔德里奇,迈克尔:反应模块游戏中的不完美信息(2018)
  20. 马尔文,瓦迪姆;莫加韦罗,法比奥;穆拉诺,阿尼埃洛;Sorrentino,Loredana:关于分级策略量词的推理(2018)