Verification of Multi-Agent Systems via SDD-based Model Checking
暂无分享,去创建一个
[1] Wojciech Penczek,et al. Verifying epistemic properties of multi-agent systems via bounded model checking , 2002, AAMAS '03.
[2] Adnan Darwiche,et al. Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence SDD: A New Canonical Representation of Propositional Knowledge Bases , 2022 .
[3] Adnan Darwiche,et al. Basing Decisions on Sentences in Decision Diagrams , 2012, AAAI.
[4] Wojciech Penczek,et al. Verification of multiagent systems via unbounded model checking , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..
[5] Alessio Lomuscio,et al. MCMAS: A Model Checker for the Verification of Multi-Agent Systems , 2009, CAV.
[6] Alessio Lomuscio,et al. Verification of multiagent systems via ordered binary decision diagrams: an algorithm and its implementation , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..
[7] Ron van der Meyden,et al. MCK: Model Checking the Logic of Knowledge , 2004, CAV.
[8] Adnan Darwiche,et al. Dynamic Minimization of Sentential Decision Diagrams , 2013, AAAI.
[9] Alessio Lomuscio,et al. MCMAS: A Model Checker for Multi-agent Systems , 2006, TACAS.
[10] Wojciech Penczek,et al. VerICS 2007 - a Model Checker for Knowledge and Real-Time , 2008, Fundam. Informaticae.
[11] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[12] Alessio Lomuscio,et al. Parallel Model Checking for Temporal Epistemic Logic , 2010, ECAI.