Formal Methods for An Iterated Volunteer's Dilemma
Jacob Dineen, A S M Ahsan-Ul Haque, Matthew Bielskas
Published: 2020/8/28
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.