麦克马斯

MCMAS:一个用于验证多智能体系统的模型检验器。虽然时态逻辑在其各种形式中被证明对反应系统的重要性是必不可少的,但基于代理的场景通常是通过考虑高级代理态度来指定的。特别是,基于认知逻辑(7)或知识逻辑的规范语言在各种领域中被证明是有用的,例如机器人学、安全协议、Web服务等。涉及匿名性的安全规范(4)被认为在认知形式主义中是自然表达的,因为它们明确地陈述了不同类型的主体知识的缺乏。


ZBMaCT中的参考文献(64篇文章中引用)

显示结果1至20的64。
按年份排序(引文
  1. Lorini,埃米利亚诺:信仰基础对认知逻辑的重新思考(2020)
  2. Muro,Aniello;Palune,Mimmo;Rubin,莎莎;索伦蒂诺,Loredana:用有限路径语义检查分级计算树逻辑(2020)
  3. Bozzelli,劳拉;莫利纳里,阿尔伯托;蒙塔纳里,安吉洛;庇隆,阿德里亚诺;Pig,Y:哪些区间时间逻辑HS的片段在模型检查中是可处理的?(2019)
  4. 古铁雷斯,朱利安;哈伦斯坦,保罗;Perelli,GuuePpe;Wooldridge,米迦勒:纳什平衡和互模拟不变性(2019)
  5. JAMROGA,WojiCik;Knaik,米莎;Kurpiewski,达米安;米库尔斯基,UKASZ:不完全信息下战略能力的近似验证(2019)
  6. Malvone,Vadim,穆拉诺,Aniello:自然战略能力(2019)
  7. 阿米诺,本杰明;Malvone,Vadim;穆拉诺,Aniello;Rubin,莎莎:战略逻辑中的等级模式(2018)
  8. Bozzelli,劳拉;莫利纳里,阿尔伯托;蒙塔纳里,安吉洛;庇隆,阿德里亚诺;Pig,Y:多项式时间层次的低水平区间时间逻辑HS片段的模型检验(2018)
  9. Alessio,MuGaVERO,法比奥;Muro,Aniello:多代理系统对文本SCSLK规范的实用验证(2018)
  10. 丹尼斯,Louise A.;Fisher,米迦勒;Webster,Matt:两阶段代理程序验证(2018)
  11. 古铁雷斯,朱利安;Perelli,GuuePpe;Wooldridge,米迦勒:反应模块游戏中的不完美信息(2018)
  12. Malvone,Vadim;莫加韦罗,法比奥;穆拉诺,Aniello;索伦蒂诺,Loredana:分级策略量词的推理(2018)
  13. 莫利纳里,阿尔伯托;蒙塔纳里,安吉洛;庇隆,阿德里亚诺:基于轨道代表的哈尔彭和Shoham时间区间逻辑的模型检验(2018)
  14. Alechina,娜塔莎;洛根,布瑞恩;阮,Hoang Nga,Raimdii,Franco:具有资源生产和消耗的资源受限ATL模型检验(2017)
  15. Ajkiel.J.;LoMISCIO,A:结合故障注入和模型检验来验证多智能体系统的容错性、可恢复性和可诊断性(2017)
  16. 古铁雷斯,朱利安;哈伦斯坦,保罗;Wooldridge,米迦勒:博弈并发系统中均衡的推理(2017)
  17. 黄,Chung Hao;谢威,Sven;王,Farn:迭代博弈模型检验(2017)
  18. Lomuscio,Alessio:多智能体系统验证的进展(2017)
  19. 莫加韦罗、法比奥、穆拉诺、Aniello、Perelli、朱塞佩、瓦迪、Moshe Y.:战略推理:关于可满足性问题(2017)
  20. Pardo,RA,巴留斯,Musard;Schneider,Gerardo:社交网络中隐私政策的正式化(2017)