ML Anthology

Composing and Verifying Commitment-Based Multiagent Protocols

Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh
IJCAI 2015 pp. 10-17
/ijcai/2015/baldoni2015ijcai-composing/
IJCAI Semantic Scholar

Cite

Text

Baldoni et al. "Composing and Verifying Commitment-Based Multiagent Protocols." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Baldoni et al. "Composing and Verifying Commitment-Based Multiagent Protocols." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/baldoni2015ijcai-composing/)

BibTeX

@inproceedings{baldoni2015ijcai-composing,
  title     = {{Composing and Verifying Commitment-Based Multiagent Protocols}},
  author    = {Baldoni, Matteo and Baroglio, Cristina and Chopra, Amit K. and Singh, Munindar P.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {10-17},
  url       = {https://mlanthology.org/ijcai/2015/baldoni2015ijcai-composing/}
}