1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
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…