1 citations · 3 across the 11 of their papers we have counts for
3 papers · 1 filter
Self-Correcting Gossip Protocols
Giorgio Cignarale, Hans van Ditmarsch, Stephan Felber +3
We investigate self-correcting gossip protocols with errors. In distributed computing, protocols with errors have been widely investigated in temporal epistemic logics. Instead, we…
A Dynamic Deontic Simplicial Logic for Joint Commitments
Giorgio Cignarale, Hugo Rincon Galeana
We introduce the Deontic Simplicial Logic (DSL), a deontic logic for group obligations grounded in simplicial complexes: vertices encode individual commitments, and higher-dimensio…
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…