Talks and Poster Presentations (with Proceedings-Entry):
R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa:
"Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems";
Poster: TARK 2019: Theoretical Aspects of Rationality and Knowledge,
Toulouse, France;
2019-07-17
- 2019-07-19; in: "Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019)",
L. Moss (ed.);
Electronic Proceedings in Theoretical Computer Science,
297
(2019),
ISSN: 2075-2180;
293
- 312.
English abstract:
Causality is an important concept both for proving impossibility results and for synthesizing efficient protocols in distributed computing. For asynchronous agents communicating over unreliable channels, causality is well studied and understood. This understanding, however, relies heavily on the assumption that agents themselves are correct and reliable. We provide the first epistemic analysis of causality in the presence of byzantine agents, i.e., agents that can deviate from their protocol and, thus, cannot be relied upon. Using our new framework for epistemic reasoning in fault-tolerant multi- agent systems, we determine the byzantine analog of the causal cone and describe a communication structure, which we call a multipede, necessary for verifying preconditions for actions in this setting.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.4204/EPTCS.297.19
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_280580.pdf