Giorgio Cignarale

According to our database, Giorgio Cignarale authored at least 11 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

A Dynamic Deontic Simplicial Logic for Joint Commitments.

Giorgio Cignarale, Hugo Rincon Galeana

CoRR, May, 2026

From Actions to Obligations: A Deontic Action Model Logic.

Giorgio Cignarale

CoRR, May, 2026

Self-Correcting Gossip Protocols.

Giorgio Cignarale, Hans van Ditmarsch, Stephan Felber, Malvin Gattinger, Hugo Rincon Galeana, Vaishnavi Sundararajan

CoRR, May, 2026

2025

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

Giorgio Cignarale, Stephan Felber, Eric Goubault, Bernardo Hummes Flores, Hugo Rincon Galeana

CoRR, January, 2025

2024

Consistent Update Synthesis via Privatized Beliefs.

Thomas Schlögl, Roman Kuznets, Giorgio Cignarale

CoRR, 2024

A Sufficient Epistemic Condition for Solving Stabilizing Agreement.

Giorgio Cignarale, Stephan Felber, Hugo Rincon Galeana

CoRR, 2024

Minimizing Agents' State Corruption Resulting from Leak-Free Epistemic Communication Modeling.

Giorgio Cignarale, Roman Kuznets, Thomas Schlögl

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023

The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems.

Giorgio Cignarale, Ulrich Schmid, Tuomas E. Tahko, Roman Kuznets

Minds Mach., June, 2023

A priori Belief Updates as a Method for Agent Self-Recovery.

Giorgio Cignarale, Roman Kuznets

CoRR, 2023

Logic of Communication Interpretation: How to Not Get Lost in Translation.

Giorgio Cignarale, Roman Kuznets, Hugo Rincon Galeana, Ulrich Schmid

Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023

2020

A Multi-Agent Depth Bounded Boolean Logic.

Giorgio Cignarale, Giuseppe Primiero

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020