Formal Methods for An Iterated Volunteer's Dilemma
arxiv(2020)
摘要
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.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要