Year: 2023
Type: article
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.
DOI: 10.4204/eptcs.389.13
Authors: Dafina Trufaș, Ioan Teodorescu, Denisa Diaconescu, Traian Șerbănuță, Vlad Zamfir
Institution: University of Bucharest
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W4386955947