activity
20122023
most citedCounter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms

15 citations · 41 across the 6 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.MA2020

The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks

Thomas Schlögl, Ulrich Schmid, Roman Kuznets

Recently, a detailed epistemic reasoning framework for multi-agent systems with byzantine faulty asynchronous agents and possibly unreliable communication was introduced. We have d…