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

•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 u...

Ausführliche Beschreibung