English

Asynchronous Muddy Children Puzzle (work in progress)

Logic in Computer Science 2023-09-26 v1 Multiagent Systems

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.

Keywords

Cite

@article{arxiv.2309.13808,
  title  = {Asynchronous Muddy Children Puzzle (work in progress)},
  author = {Dafina Trufaş and Ioan Teodorescu and Denisa Diaconescu and Traian Şerbănuţă and Vlad Zamfir},
  journal= {arXiv preprint arXiv:2309.13808},
  year   = {2023}
}

Comments

In Proceedings FROM 2023, arXiv:2309.12959

R2 v1 2026-06-28T12:31:02.771Z