Quantitative games with interval objectives
Abstract
Traditionally quantitative games such as mean-payoff games and discount sum games have two players -- one trying to maximize the payoff, the other trying to minimize it. The associated decision problem, "Can Eve (the maximizer) achieve, for example, a positive payoff?" can be thought of as one player trying to attain a payoff in the interval $(0,\infty)$. In this paper we consider the more general problem of determining if a player can attain a payoff in a finite union of arbitrary intervals for various payoff functions (liminf, mean-payoff, discount sum, total sum). In particular this includes the interesting exact-value problem, "Can Eve achieve a payoff of exactly (e.g.) 0?"
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2014
- DOI:
- 10.48550/arXiv.1404.4856
- arXiv:
- arXiv:1404.4856
- Bibcode:
- 2014arXiv1404.4856H
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Computer Science and Game Theory;
- F.1.1
- E-Print:
- Full version of CONCUR submission