Cover Image

Knowledge in multi-robot systems: an interplay of dynamics, computation and communication

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cignarale, Giorgio, Felber, Stephan, Goubault, Eric, Flores, Bernardo Hummes, Galeana, Hugo Rincon
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Distributed, Parallel, and Cluster Computing Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Sufficient Epistemic Condition for Solving Stabilizing Agreement
by: Cignarale, Giorgio, et al.
Published: (2024)

Self-Correcting Gossip Protocols
by: Cignarale, Giorgio, et al.
Published: (2026)

A categorical and logical framework for iterated protocols
by: Goubault, Eric, et al.
Published: (2025)

A Sheaf-Theoretic Characterization of Tasks in Distributed Systems
by: Felber, Stephan, et al.
Published: (2025)

Distributed Knowledge in Simplicial Models
by: Goubault, Éric, et al.
Published: (2026)

Knowledge and simplicial complexes
by: van Ditmarsch, Hans, et al.
Published: (2020)

Persistent homology of partially ordered spaces
by: Calk, Cameron, et al.
Published: (2023)

Stabilizing Consensus is Impossible in Lossy Iterated Immediate Snapshot Models
by: Felber, Stephan, et al.
Published: (2024)

Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems
by: Galeana, Hugo Rincon, et al.
Published: (2023)

Topological Characterization of Stabilizing Consensus
by: Schmid, Ulrich, et al.
Published: (2024)

Deterministic Distributed Algorithms and Measurable Combinatorics on $Δ$-Regular Forests
by: Brandt, Sebastian, et al.
Published: (2022)

Lower Bounds for $k$-Set Agreement in Fault-Prone Networks
by: Fraigniaud, Pierre, et al.
Published: (2025)

On Homomorphism Graphs
by: Brandt, Sebastian, et al.
Published: (2021)

From descriptive to distributed
by: Grebík, Jan, et al.
Published: (2025)

Borel Vizing's Theorem for Graphs of Subexponential Growth
by: Bernshteyn, Anton, et al.
Published: (2023)

Borel versions of the Local Lemma and LOCAL algorithms for graphs of finite asymptotic separation index
by: Bernshteyn, Anton, et al.
Published: (2023)

Fair Mutual Exclusion for N Processes (extended version)
by: Hafidi, Yousra, et al.
Published: (2021)

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
by: Schultz, William, et al.
Published: (2024)

Bisimulation for Impure Simplicial Complexes
by: Bílková, Marta, et al.
Published: (2024)

Proceedings 18th Interaction and Concurrency Experience
by: Aubert, Clément, et al.
Published: (2025)

Application Placement with Constraint Relaxation
by: Azzolini, Damiano, et al.
Published: (2025)

Distributed Incremental SAT Solving with Mallob: Report and Case Study with Hierarchical Planning
by: Schreiber, Dominik
Published: (2025)

Complexity of Verification and Synthesis of Threshold Automata
by: Balasubramanian, A. R., et al.
Published: (2020)

Fault-Tolerant Multiparty Session Types with Global Escape Loops
by: Bartl, Lukas, et al.
Published: (2025)

Impure Simplicial Complexes: Complete Axiomatization
by: Randrianomentsoa, Rojo, et al.
Published: (2022)

Verifying the Hashgraph Consensus Algorithm
by: Crary, Karl
Published: (2021)

Message Passing Without Temporal Direction: Constraint Semantics and the FITO Category Mistake
by: Borrill, Paul
Published: (2026)

Revisited Convergence of Dolev et al BFS Spanning Tree Algorithm
by: Altisen, Karine, et al.
Published: (2025)

Proceedings 17th Interaction and Concurrency Experience
by: Aubert, Clément, et al.
Published: (2024)

Regular Model Checking Upside-Down: An Invariant-Based Approach
by: Esparza, Javier, et al.
Published: (2022)

Gathering of asynchronous robots on circle with limited visibility using finite communication
by: Sharma, Avisek, et al.
Published: (2025)

VerIso: Verifiable Isolation Guarantees for Database Transactions
by: Ghasemirad, Shabnam, et al.
Published: (2025)

IM-PIR: In-Memory Private Information Retrieval
by: Mwaisela, Mpoki, et al.
Published: (2025)

On the impact of unlimited computational power in OBLOT: consequences for synchronous robots on graphs
by: Cicerone, Serafino, et al.
Published: (2025)

A Note on an Inferentialist Approach to Resource Semantics
by: Gheorghiu, Alexander V., et al.
Published: (2024)

A Dynamic Deontic Simplicial Logic for Joint Commitments
by: Cignarale, Giorgio, et al.
Published: (2026)

Specifying and Verifying RDMA Synchronisation (Extended Version)
by: Ambal, Guillaume, et al.
Published: (2026)

Modelling the Raft Distributed Consensus Protocol in mCRL2
by: Bora, Parth, et al.
Published: (2024)

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
by: Pham, Long, et al.
Published: (2023)

Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis
by: De Sclavis, Francesco, et al.
Published: (2024)