1 paper
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…