Model checking agent-based communities against uncertain group commitments and knowledge
作者：
Highlights：
• We propose a new probabilistic verification approach for agent-based systems.
• We consider the interaction between group commitments and knowledge.
• We transform model checking our extended commitment logic to model checking PCTL.
• We prove the soundness and completeness of the approach and analyze its complexity.
• We use PRISM to implement and evaluate our technique on two concrete case studies.
摘要
•We propose a new probabilistic verification approach for agent-based systems.•We consider the interaction between group commitments and knowledge.•We transform model checking our extended commitment logic to model checking PCTL.•We prove the soundness and completeness of the approach and analyze its complexity.•We use PRISM to implement and evaluate our technique on two concrete case studies.
论文关键词：Multi-agent systems,Probabilistic model checking,Verification,Social commitments,Knowledge
论文评审过程：Received 30 May 2020, Revised 28 December 2020, Accepted 23 February 2021, Available online 10 March 2021, Version of Record 13 April 2021.
论文官网地址：https://doi.org/10.1016/j.eswa.2021.114792
