Home > Research > Publications & Outputs > Clouseau

Research

Electronic data

  • Clouseau-AAAI

    Rights statement: Embargoed until published

    Accepted author manuscript, 322 KB, PDF document

    Available under license: CC BY-NC: Creative Commons Attribution-NonCommercial 4.0 International License

Links

Text available via DOI:

View graph of relations

Clouseau: Generating Communication Protocols from Commitments

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

Clouseau: Generating Communication Protocols from Commitments. / Singh, Munindar P.; Chopra, Amit K.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence. New York: AAAI, 2020. p. 7244-7252 (Proceedings of the AAAI Conference on Artificial Intelligence; Vol. 34, No. 5).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Singh, MP & Chopra, AK 2020, Clouseau: Generating Communication Protocols from Commitments. in Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence. Proceedings of the AAAI Conference on Artificial Intelligence, no. 5, vol. 34, AAAI, New York, pp. 7244-7252. https://doi.org/10.1609/aaai.v34i05.6215

APA

Singh, M. P., & Chopra, A. K. (2020). Clouseau: Generating Communication Protocols from Commitments. In Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (pp. 7244-7252). (Proceedings of the AAAI Conference on Artificial Intelligence; Vol. 34, No. 5). AAAI. https://doi.org/10.1609/aaai.v34i05.6215

Vancouver

Singh MP, Chopra AK. Clouseau: Generating Communication Protocols from Commitments. In Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence. New York: AAAI. 2020. p. 7244-7252. (Proceedings of the AAAI Conference on Artificial Intelligence; 5). doi: 10.1609/aaai.v34i05.6215

Author

Singh, Munindar P. ; Chopra, Amit K. / Clouseau : Generating Communication Protocols from Commitments. Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence. New York : AAAI, 2020. pp. 7244-7252 (Proceedings of the AAAI Conference on Artificial Intelligence; 5).

Bibtex

@inproceedings{10633f3d5f7b44229527706fed1b2fd7,
title = "Clouseau: Generating Communication Protocols from Commitments",
abstract = "Engineering a decentralized multiagent system (MAS) requires realizing interactions modeled as a communication protocol between autonomous agents. We contribute Clouseau, an approach that takes a commitment-based specification of an interaction and generates a communication protocol amenable to decentralized enactment. We show that the generated protocol is (1) correct—realizes all and only the computations that satisfy the input specification; (2) safe—ensures the agents' local views remain consistent; and (3) live—ensures the agents can proceed to completion.",
author = "Singh, {Munindar P.} and Chopra, {Amit K.}",
year = "2020",
month = apr,
day = "3",
doi = "10.1609/aaai.v34i05.6215",
language = "English",
isbn = "9781577358350",
series = "Proceedings of the AAAI Conference on Artificial Intelligence",
publisher = "AAAI",
number = "5",
pages = "7244--7252",
booktitle = "Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence",

}

RIS

TY - GEN

T1 - Clouseau

T2 - Generating Communication Protocols from Commitments

AU - Singh, Munindar P.

AU - Chopra, Amit K.

PY - 2020/4/3

Y1 - 2020/4/3

N2 - Engineering a decentralized multiagent system (MAS) requires realizing interactions modeled as a communication protocol between autonomous agents. We contribute Clouseau, an approach that takes a commitment-based specification of an interaction and generates a communication protocol amenable to decentralized enactment. We show that the generated protocol is (1) correct—realizes all and only the computations that satisfy the input specification; (2) safe—ensures the agents' local views remain consistent; and (3) live—ensures the agents can proceed to completion.

AB - Engineering a decentralized multiagent system (MAS) requires realizing interactions modeled as a communication protocol between autonomous agents. We contribute Clouseau, an approach that takes a commitment-based specification of an interaction and generates a communication protocol amenable to decentralized enactment. We show that the generated protocol is (1) correct—realizes all and only the computations that satisfy the input specification; (2) safe—ensures the agents' local views remain consistent; and (3) live—ensures the agents can proceed to completion.

U2 - 10.1609/aaai.v34i05.6215

DO - 10.1609/aaai.v34i05.6215

M3 - Conference contribution/Paper

SN - 9781577358350

T3 - Proceedings of the AAAI Conference on Artificial Intelligence

SP - 7244

EP - 7252

BT - Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence

PB - AAAI

CY - New York

ER -