12 citations · 23 across the 3 of their papers we have counts for
3 papers
A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems
Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets +1
We provide an epistemic logical language and semantics for the modeling and analysis of byzantine fault-tolerant multi-agent systems. This not only facilitates reasoning about the…
Fire!
Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid
In this paper, we provide an epistemic analysis of a simple variant of the fundamental consistent broadcasting primitive for byzantine fault-tolerant asynchronous distributed syste…
Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems
Roman Kuznets, Laurent Prosperi, Ulrich Schmid +1
Causality is an important concept both for proving impossibility results and for synthesizing efficient protocols in distributed computing. For asynchronous agents communicating ov…