Asynchronous Muddy Children Puzzle (work in progress)

Dafina Trufaş, Ioan Teodorescu, Denisa Diaconescu, Traian Şerbănuţă, Vlad Zamfir
9/25/2023
cs.LOcs.MA

No confident code implementation found for this paper.

Abstract

In this work-in-progress paper we explore using the recently introduced VLSM formalism to define and reason about the dynamics of agent-based systems. To this aim we use VLSMs to formally present several possible approaches to modeling the interactions in the Muddy Children Puzzle as protocols that reach consensus asynchronously.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Social Theory Should Be a Structural Prior for Agentic AI: A Formal Framework for Multi-Agent Social Systems

80% match2026

An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games

80% match2023

Consensus and Factual Dynamics in Large Populations of Interacting Language Models

80% match2026

Synchronization Dynamics of Heterogeneous, Collaborative Multi-Agent AI Systems

79% match2025

Adaptation of Parameters in Heterogeneous Multi-agent Systems

79% match2025

A Logic for Policy Based Resource Exchanges in Multiagent Systems

79% match2024

Cite this paper

@article{trufa2023asynchronous,
  title  = {Asynchronous Muddy Children Puzzle (work in progress)},
  author = {Dafina Trufaş and Ioan Teodorescu and Denisa Diaconescu and Traian Şerbănuţă and Vlad Zamfir},
  year   = {2023},
  eprint = {2309.13808},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2309.13808v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2309.13808.svg)](https://codeofpaper.com/paper/2309.13808)

Discussion