Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
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;
17.07.2019
- 19.07.2019; in: "Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019)",
L. Moss (Hrg.);
Electronic Proceedings in Theoretical Computer Science,
297
(2019),
ISSN: 2075-2180;
S. 293
- 312.
Kurzfassung englisch:
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.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.4204/EPTCS.297.19
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_280580.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.