ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols

Open in new window