Formal Methods for An Iterated Volunteer's Dilemma

Game theory provides a paradigm through which we can study the evolving communication and phenomena that occur via rational agent interaction. In this work, we design a model framework and explore The Volunteer's Dilemma with the goals of 1) modeling it as a stochastic concurrent multiplayer ga...

Full description

Saved in:
Bibliographic Details
Published inarXiv.org
Main Authors Dineen, Jacob, A S M Ahsan-Ul Haque, Bielskas, Matthew
Format Paper Journal Article
LanguageEnglish
Published Ithaca Cornell University Library, arXiv.org 02.03.2021
Subjects
Computer Science - Computer Science and Game Theory
Computer Science - Multiagent Systems
Game theory
Online AccessGet full text

Cover

More Information
Summary:Game theory provides a paradigm through which we can study the evolving communication and phenomena that occur via rational agent interaction. In this work, we design a model framework and explore The Volunteer's Dilemma with the goals of 1) modeling it as a stochastic concurrent multiplayer game, 2) constructing properties to verify model correctness and reachability, 3) constructing strategy synthesis graphs to understand how the game is iteratively stepped through most optimally and, 4) analyzing a series of parameters to understand correlations with expected local and global rewards over a finite time horizon.
ISSN:2331-8422
DOI:10.48550/arxiv.2008.12846