2015
DOI: 10.1016/j.ic.2015.03.010
|View full text |Cite
|
Sign up to set email alerts
|

Looking at mean-payoff and total-payoff through windows

Abstract: Abstract. We consider two-player games played on weighted directed graphs with mean-payoff and total-payoff objectives, two classical quantitative objectives. While for single-dimensional games the complexity and memory bounds for both objectives coincide, we show that in contrast to multi-dimensional mean-payoff games that are known to be coNP-complete, multi-dimensional total-payoff games are undecidable. We introduce conservative approximations of these objectives, where the payoff is considered over a loca… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

2
128
0

Year Published

2015
2015
2024
2024

Publication Types

Select...
6
1

Relationship

2
5

Authors

Journals

citations
Cited by 34 publications
(130 citation statements)
references
References 43 publications
2
128
0
Order By: Relevance
“…In [68], the author studies objectives equal to Boolean combinations of inequalities f k (ρ) ∼ µ k , with ∼ ∈ {≤, ≥} and f k ∈ {MP, MP}: deciding whether player 1 has a winning strategy in (G, v 0 ) becomes undecidable. However, this problem remains decidable and is EXPTIME-complete for CNF/DNF Boolean combinations of functions taken among {Sup, Inf, LimSup, LimInf, WMP} [13], where WMP is an interesting window variant of mean-payoff introduced in [20]. The threshold problem is P-complete (resp.…”
Section: Combination Of Quantitative Objectivesmentioning
confidence: 99%
See 2 more Smart Citations
“…In [68], the author studies objectives equal to Boolean combinations of inequalities f k (ρ) ∼ µ k , with ∼ ∈ {≤, ≥} and f k ∈ {MP, MP}: deciding whether player 1 has a winning strategy in (G, v 0 ) becomes undecidable. However, this problem remains decidable and is EXPTIME-complete for CNF/DNF Boolean combinations of functions taken among {Sup, Inf, LimSup, LimInf, WMP} [13], where WMP is an interesting window variant of mean-payoff introduced in [20]. The threshold problem is P-complete (resp.…”
Section: Combination Of Quantitative Objectivesmentioning
confidence: 99%
“…EXPTIME-complete) for a single WMP objective (resp. an intersection of WMP objectives) [20]. Recall that it is in NP ∩ co-NP for a single function MP or MP (see Theorem 22).…”
Section: Combination Of Quantitative Objectivesmentioning
confidence: 99%
See 1 more Smart Citation
“…The (direct) fixed window properties studied in [14] Temporal logic with prefix accumulation. The concept of prefixaccumulation assertions as introduced by Boker et al [8] for weighted Kripke structures and branching-time and linear-time temporal logics is very much in the spirit of the logic LTL avg [ , : All].…”
Section: Variants and Related Logicsmentioning
confidence: 99%
“…They can be used to formalize, e.g., constraints on the load of a processor in the past few clock cycles or the chart-development of a stock within one day. The fixed window properties studied in [14] for non-probabilistic game structures are expressible in our logic with window DFA. More flexibility is provided by the class of acyclic DFA.…”
Section: Introductionmentioning
confidence: 99%