2 papers
cs.LO2024
Consistent Update Synthesis via Privatized Beliefs
Thomas Schlögl, Roman Kuznets, Giorgio Cignarale
Kripke models are an effective and widely used tool for representing epistemic attitudes of agents in multi-agent systems, including distributed systems. Dynamic Epistemic Logic (D…
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…