Home > Research > Publications & Outputs > Clouseau

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/ISSNConference contribution/Paperpeer-review

Published
Publication date3/04/2020
Host publicationProceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence
Place of PublicationNew York
PublisherAAAI
Pages7244-7252
Number of pages9
ISBN (print)9781577358350
<mark>Original language</mark>English

Publication series

NameProceedings of the AAAI Conference on Artificial Intelligence
PublisherAAAI
Number5
Volume34
ISSN (Print)2159-5399
ISSN (electronic)2374-3468

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.