Paper ID: 2309.13808

Asynchronous Muddy Children Puzzle (work in progress)

Dafina Trufaş, Ioan Teodorescu, Denisa Diaconescu, Traian Şerbănuţă, Vlad Zamfir

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.

Submitted: Sep 25, 2023