English

Quantitative games with interval objectives

Logic in Computer Science 2014-04-21 v1 Computer Science and Game Theory

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,)(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?"

Keywords

Cite

@article{arxiv.1404.4856,
  title  = {Quantitative games with interval objectives},
  author = {Paul Hunter and Jean-François Raskin},
  journal= {arXiv preprint arXiv:1404.4856},
  year   = {2014}
}

Comments

Full version of CONCUR submission

R2 v1 2026-06-22T03:53:55.460Z