
arXiv: 1206.5174
handle: 2381/33160 , 2381/36416
AbstractWe generalize winning conditions in two-player games by adding a structural acceptance condition called obligations. Obligations are orthogonal to the linear winning conditions that define whether a play is winning. Obligations are a declaration that player 0 can achieve a certain value from a configuration. If the obligation is met, the value of that configuration for player 0 is 1.We define the value in such games and show that obligation games are determined. For Markov chains with Borel objectives and obligations, and finite turn-based stochastic parity games with obligations we give an alternative and simpler characterization of the value function. Based on this simpler definition we show that the decision problem of winning finite turn-based stochastic parity games with obligations is in NP∩co-NP. We also show that obligation games provide a game framework for reasoning about p-automata.
FOS: Computer and information sciences, Logic in computer science, Computer Science - Logic in Computer Science, automata, Formal Languages and Automata Theory (cs.FL), Temporal logic, Computer Science - Formal Languages and Automata Theory, Formal languages and automata, 2-person games, Logic in Computer Science (cs.LO), Stochastic games, stochastic differential games, Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.), Algorithmic game theory and complexity, two-player games
FOS: Computer and information sciences, Logic in computer science, Computer Science - Logic in Computer Science, automata, Formal Languages and Automata Theory (cs.FL), Temporal logic, Computer Science - Formal Languages and Automata Theory, Formal languages and automata, 2-person games, Logic in Computer Science (cs.LO), Stochastic games, stochastic differential games, Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.), Algorithmic game theory and complexity, two-player games
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
