Formal Methods for An Iterated Volunteer's Dilemma
Multiagent Systems
2025-09-24 v4 Computer Science and Game Theory
Abstract
Game theory provides a framework for studying communication dynamics and emergent phenomena arising from rational agent interactions. We present a model framework for the Volunteer's Dilemma with four key contributions: (1) formulating it as a stochastic concurrent nn n-player game, (2) developing properties to verify model correctness and reachability, (3) constructing strategy synthesis graphs to identify optimal game trajectories, and (4) analyzing parameter correlations with expected local and global rewards over finite time horizons.
Keywords
Cite
@article{arxiv.2008.12846,
title = {Formal Methods for An Iterated Volunteer's Dilemma},
author = {Jacob Dineen and A S M Ahsan-Ul Haque and Matthew Bielskas},
journal= {arXiv preprint arXiv:2008.12846},
year = {2025}
}
Comments
9 pages, 4 figures, 5 tables