Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems
Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa
2019
Electronic Proceedings in Theoretical Computer Science
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 ...
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. ...
Major contributions: In this paper, we generalize the causality structure of asynchronous distributed systems described above to multi-agent systems involving byzantine faulty agents. ...
doi:10.4204/eptcs.297.19
fatcat:4bfsap3hpjf6tl4t2x6gdjfi6u