Asynchronous Muddy Children Puzzle (work in progress)
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2023
- DOI:
- 10.48550/arXiv.2309.13808
- arXiv:
- arXiv:2309.13808
- Bibcode:
- 2023arXiv230913808T
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Multiagent Systems;
- I.2.11;
- I.2.4
- E-Print:
- In Proceedings FROM 2023, arXiv:2309.12959