麦克马斯

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


zbMATH参考文献(70篇文章引用)

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