Asynchronous Muddy Children Puzzle (work in progress)

Dafina Trufaş, Ioan Teodorescu, Denisa Diaconescu +2

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 f…