Composing and Verifying Commitment-Based Multiagent Protocols.

Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh

Browse the full IJCAI paper archive.