1 citations · 1 across the 6 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2024
A Sufficient Epistemic Condition for Solving Stabilizing Agreement
Giorgio Cignarale, Stephan Felber, Hugo Rincon Galeana
In this paper we provide a first-ever epistemic formulation of stabilizing agreement, defined as the non-terminating variant of the well established consensus problem. In stabilizi…
cs.DC2023
A priori Belief Updates as a Method for Agent Self-Recovery
Giorgio Cignarale, Roman Kuznets
Standard epistemic logic is concerned with describing agents' epistemic attitudes given the current set of alternatives the agents consider possible. While distributed systems can…