Asynchronous Muddy Children Puzzle (work in progress)
Dafina Trufa\c{s} (University of Bucharest), Ioan Teodorescu, (University of Bucharest), Denisa Diaconescu (University of Bucharest),, Traian \c{S}erb\u{a}nu\c{t}\u{a} (University of Bucharest), Vlad Zamfir, (independent researcher)
TL;DR
This paper investigates modeling asynchronous interactions in the Muddy Children Puzzle using the VLSM formalism to better understand agent-based system dynamics.
Contribution
It introduces a novel application of VLSM formalism to model and analyze asynchronous protocols in the Muddy Children Puzzle.
Findings
VLSM formalism effectively models asynchronous consensus protocols.
Multiple approaches to asynchronous interaction are formally presented.
The work provides a foundation for further analysis of agent-based 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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.