Formal Methods for An Iterated Volunteer's Dilemma

Autor:	Dineen, Jacob, Haque, A S M Ahsan-Ul, Bielskas, Matthew
Rok vydání:	2020
Předmět:	Computer Science - Multiagent Systems Computer Science - Computer Science and Game Theory
Druh dokumentu:	Working Paper
DOI:	10.1007/978-3-030-80387-2_8
Popis:	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. Comment: 9 pages, 4 figures, 5 tables
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2008.12846 Zobrazit plný text záznamu View this record from Arxiv