MCSMA-SLK

MCMAS-SLK:一种用于验证策略逻辑规范的模型检查器。我们介绍了MCMAS-SLK,一个基于BDD的模型检查器,用于验证系统中的一个新的认知变体的策略逻辑表示的规范。我们给出了语法和语义的规范语言,并介绍了标签算法的认知和战略逻辑模式。我们提供了检查器的细节,它也可以用于合成代理的策略,从而满足系统的规范。我们通过讨论餐饮密码器和蛋糕切割问题的变体所获得的结果来评估实现的效率。


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

显示结果1至15的15。
按年份排序(引文

  1. Gardy,帕特里克;鲍耶,帕特丽夏;Markey,尼古拉斯:战略逻辑中的依赖性(2020)
  2. Muro,Aniello;Palune,Mimmo;Rubin,莎莎;索伦蒂诺,Loredana:用有限路径语义检查分级计算树逻辑(2020)
  3. 古铁雷斯,朱利安;哈伦斯坦,保罗;Perelli,GuuePpe;Wooldridge,米迦勒:纳什平衡和互模拟不变性(2019)
  4. Malvone,Vadim,穆拉诺,Aniello:自然战略能力(2019)
  5. 阿米诺,本杰明;Malvone,Vadim;穆拉诺,Aniello;Rubin,莎莎:战略逻辑中的等级模式(2018)
  6. Alessio,MuGaVERO,法比奥;Muro,Aniello:多代理系统对文本SCSLK规范的实用验证(2018)
  7. 古铁雷斯,朱利安;Perelli,GuuePpe;Wooldridge,米迦勒:反应模块游戏中的不完美信息(2018)
  8. Malvone,Vadim;莫加韦罗,法比奥;穆拉诺,Aniello;索伦蒂诺,Loredana:分级策略量词的推理(2018)
  9. 黄,Chung Hao;谢威,Sven;王,Farn:迭代博弈模型检验(2017)
  10. 莫加韦罗、法比奥、穆拉诺、Aniello、Perelli、朱塞佩、瓦迪、Moshe Y.:战略推理:关于可满足性问题(2017)
  11. 陈,青亮;Su,Kaile;萨塔,阿卜杜勒;罗,Xiangyu;陈,Aixiang:BDI代理的一阶联盟逻辑(2016)
  12. Laroussinie、弗兰·奥斯、Markey、尼古拉斯:用策略情境增强ATL(2015)
  13. Toumi,亚历克西斯;古铁雷斯,朱利安;Wooldridge,米迦勒:并发游戏中SUP平衡的自动验证工具(2015)
  14. 埃尔马克,PeTR;LoMusio,Alessio;莫加韦罗,法比奥;Muro,Aielo:MCMAS-SLK:战略逻辑规范验证的模型检查器(2014)伊波尔特
  15. 莫加韦罗、法比奥、穆拉诺、Aniello、Perelli、朱塞佩、瓦迪、Moshe Y.:战略推理:关于模型检验问题(2014)