麦克马斯

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


zbMATH参考文献(参考 68篇文章

显示68个结果中的1到20个。
按年份排序(引用)
  1. Belardinelli,Francesco;Lomuscio,Alessio;Murano,Aniello;Rubin,Sasha:基于策略逻辑的公共行为验证多智能体系统(2020)
  2. Bozzelli,Laura;Molinari,Alberto;Montanari,Angelo;Peron,Adriano:Model checking interval Time logics with regular expressions(2020年)
  3. Bozzelli,Laura;Murano,Aniello;Sorrentino,Loredana:具有线性过去的交替时间-时间逻辑(2020)
  4. 帕特里克•加德;帕特里夏•布耶;尼古拉斯•马基:《战略逻辑中的依赖》(2020)
  5. Lorini,Emiliano:用信念基础反思认知逻辑(2020)
  6. Murano,Aniello;Parente,Mimmo;Rubin,Sasha;Sorrentino,Loredana:带有限路径语义的模型检查分级计算树逻辑(2020)
  7. 劳拉·博泽利;莫利纳里,阿尔贝托;蒙塔纳里,安杰洛;佩隆,阿德里亚诺;萨拉,皮埃特罗:在模型检查中,区间时间逻辑HS的哪些片段是可处理的?(2019年)
  8. 古铁雷斯,朱利安;哈伦斯坦,保罗;佩雷利,朱塞佩;伍尔德里奇,迈克尔:纳什均衡和互模拟不变性(2019)
  9. Jamroga,Wojciech;Knapik,Michał;Kurpiewski,Damian;Mikulski,Łukasz:不完全信息下战略能力的近似验证(2019)
  10. Jamroga,Wojciech;Malvone,Vadim;Murano,Aniello:自然战略能力(2019年)
  11. Aminof,Benjamin;Malvone,Vadim;Murano,Aniello;Rubin,Sasha:战略逻辑中的分级模式(2018)
  12. Bozzelli,Laura;Molinari,Alberto;Montanari,Angelo;Peron,Adriano;Sala,Pietro:在多项式时间层次结构的低水平上对区间时间逻辑HS片段进行模型检查(2018年)
  13. 乔尔姆萨克,佩特;洛穆西奥,阿莱西奥;莫加韦罗,法比奥;穆拉诺,阿尼埃洛:多智能体系统与规范的实际验证(2018)
  14. Dennis,Louise A.;Fisher,Michael;Webster,Matt:两阶段代理程序验证(2018)
  15. Gutierrez,Julian;Perelli,Giuseppe;Wooldridge,Michael:反应模块游戏中的不完美信息(2018)
  16. 《摩加迪姆·马莱诺:关于摩加迪姆·马莱诺的推理》;莫加迪姆·马莱诺,2018年《量词》;莫加迪姆·马莱诺
  17. Alberto Molinari;Angelo Montanari;Peron,Adriano:基于轨道代表的Halpern和Shoham间隔时间逻辑片段的模型检查(2018)
  18. Alechina,Natasha;Logan,Brian;Nguyen,Hoang Nga;Raimondi,Franco:资源受限ATL模型检验与资源生产和消费(2017)
  19. Ezekiel,J.;Lomuscio,A.:结合故障注入和模型检查来验证多智能体系统中的容错性、可恢复性和可诊断性(2017)
  20. Julian Gutierrez;Paul Harrenstein;Wooldridge,Michael:关于类博弈并发系统中均衡的推理(2017)