Return to Article Details ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols Download Download PDF