麦肯锡

模型检验知识。MCK是新南威尔士大学计算机科学与工程学院开发的知识逻辑模型检查器。该系统旨在作为各种方法的试验台,以检查知识的逻辑。这个模型检查器的新颖之处在于,它支持定义知识的几种不同方法,给出了多智能体系统的描述和代理所做的观察:单独观察;观察和时钟;以及所有观察的同步和异步完美回忆。同时支持线性和分支时间时态运算符。早期的MCK版本主要基于基于BDD的模型检查算法,但是MCK现在也支持有界模型检查和显式状态模型检查。


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

显示第28到第1个结果。
按年份排序(引用)
  1. Jamroga,Wojciech;Knapik,Michał;Kurpiewski,Damian;Mikulski,Łukasz:不完全信息下战略能力的近似验证(2019)
  2. 乔尔姆萨克,佩特;洛穆西奥,阿莱西奥;莫加韦罗,法比奥;穆拉诺,阿尼埃洛:多智能体系统与规范的实际验证(2018)
  3. Ezekiel,J.;Lomuscio,A.:结合故障注入和模型检查来验证多智能体系统中的容错性、可恢复性和可诊断性(2017)
  4. Pardo,劳尔;Balliu,Musard;Schneider,Gerardo:《社交网络中隐私政策的正式化》(2017)
  5. Belardinelli,Francesco;Lomuscio,Alessio:用于验证多智能体系统中认知属性的三值抽象技术(2016)
  6. 陈清亮;苏、凯乐;萨塔尔、阿卜杜勒;罗向玉;陈爱祥:BDI代理人的一阶联盟逻辑(2016)
  7. Kouvaros,Panagiotis;Lomuscio,Alessio:多智能体系统的参数化验证(2016)
  8. Woźna Szcześniak,Bożena;Zbrzezny,Andrzej:通过有界模型检验检验检验定时解释系统的EMTLK性质(2016)
  9. Zbrzezny,Agnieszka M.;Zbrzezny,Andrzej:通过基于SMT的有界模型检查验证多智能体系统的实时性(2016)
  10. 徐永胜;杨国武;张正伟;郑德胜;郭文胜:GSTE的最终满意度(2014)
  11. Konur,Savas;Fisher,Michael;Schewe,Sven:时间、概率和实时逻辑的组合模型检查(2013)
  12. van Ditmarsch,Hans;van der Hoek,Wiebe;Ruan,Ji:连接动态认知和时间认知逻辑(2013)
  13. Lomuscio,Alessio;Penczek,Wojciech:时间认知逻辑的符号模型检验(2012)
  14. Gammie,Peter:有限同步环境中基于知识的程序的验证合成(2011)
  15. Guelev,Dimitar P.;Dam,Mads:有限控制(\pi)-过程的认知谓词(\mathrmCTL^*)(2011)
  16. 黄晓伟;罗,程;范德梅登,罗恩:公平分枝时间时间时间认知逻辑的改进有界模型检验(2011)
  17. Lomuscio,Alessio;Qu,Hongyang;Russo,Francesco:模型检查多智能体系统中的自动数据抽象(2011)
  18. 罗向宇;苏,凯乐;顾,明;吴立军;杨金吉:草食动物协议知识的符号模型检验(2011)
  19. van Ditmarsch,Hans;Herzig,Andreas;de Lima,Tiago:从情境演算到动态认知逻辑(2011)
  20. Dechesne,Francien;Wang,Yanjing:知道还是不知道:安全协议验证的认知方法(2010)

更多出版物请访问:http://cgi.cse.unsw.edu.au/~mck/pmck/mcks/publications