3 papers
cs.DC2025
A Sheaf-Theoretic Characterization of Tasks in Distributed Systems
Stephan Felber, Bernardo Hummes Flores, Hugo Rincon Galeana
We introduce a sheaf-theoretic characterization of task solvability in general distributed computing models, unifying distinct approaches to message-passing models. We establish ce…
cs.LO2025
Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
Giorgio Cignarale, Stephan Felber, Eric Goubault +2
In this paper, we provide a framework integrating distributed multi-robot systems and temporal epistemic logic. We show that continuous-discrete hybrid systems are compatible with…
cs.DC2024
Topological Characterization of Stabilizing Consensus
Ulrich Schmid, Stephan Felber, Hugo Rincon-Galeana
We provide a complete characterization of the solvability/impossibility of deterministic stabilizing consensus in any computing model with benign process and communication faults u…