Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Schlögl, Thomas"'
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 (DEL) adds communication in the form of model transforming updates. Priv
Externí odkaz:
http://arxiv.org/abs/2406.10010
Autor:
Schlögl, Thomas, Schmid, Ulrich
Publikováno v:
EPTCS 379, 2023, pp. 487-506
Existing protocols for byzantine fault tolerant distributed systems usually rely on the correct agents' ability to detect faulty agents and/or to detect the occurrence of some event or action on some correct agent. In this paper, we provide sufficien
Externí odkaz:
http://arxiv.org/abs/2304.00389
Publikováno v:
Proceedings of PRIMA 2020, LNCS v. 12568 (2021), pp. 403-411
Recently, a detailed epistemic reasoning framework for multi-agent systems with byzantine faulty asynchronous agents and possibly unreliable communication was introduced. We have developed a modular extension framework implemented on top of it, which
Externí odkaz:
http://arxiv.org/abs/2011.01057