Composing and Verifying Commitment-Based Multiagent Protocols

Open in new window