Talks and Poster Presentations (with Proceedings-Entry):
T. Schlögl, U. Schmid, R. Kuznets:
"The Persistence of False Memory: Brain in a Vat despite Perfect Clocks";
Talk: PRIMA 2020,
- 2020-11-20; in: "PRIMA 2020: Principles and Practice of Multi-Agent Systems",
Springer Nature Switzerland AG,
We extend a recently introduced epistemic reasoning frame-
work for multi-agent systems with byzantine faulty asynchronous agents
by incorporating features like reliable communication, time-bounded com-
munication, multicasting, synchronous and lockstep synchronous agents.
We use this extension framework for analyzing fault detection abilities
of synchronous and lockstep synchronous agents and show that even
perfectly synchronized clocks cannot be used to avoid "brain-in-a-vat"
fault-tolerant systems, byzantine distributed systems, epistemic logic, synchronous systems, lock-step synchronous systems
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.