Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments

作者：

Highlights：

• We present an extension of interpreted systems including probabilities and communication channels.

• We introduce a new logic merging probabilities, knowledge, and social commitments.

• We advocate a reduction-based technique to model check the logic and prove its soundness.

• We implement the approach using the PRISM model checker.

摘要

•We present an extension of interpreted systems including probabilities and communication channels.•We introduce a new logic merging probabilities, knowledge, and social commitments.•We advocate a reduction-based technique to model check the logic and prove its soundness.•We implement the approach using the PRISM model checker.

论文关键词：Multi-Agent Systems,Probabilistic model checking,Verification,Interpreted systems,Knowledge,Social commitments,Modal logic

论文评审过程：Available online 21 April 2014.

论文官网地址：https://doi.org/10.1016/j.eswa.2014.04.008