Prefix-independent Σ₀² objectives with neutral letters are positional over arbitrary graphs exactly when recognized by history-deterministic monotone co-Büchi automata over countable ordinals, with proofs for mean-payoff positionality and a completeness lifting from finite graphs.
Title resolution pending
2 Pith papers cite this work, alongside 359 external citations. Polarity classification is still indexing.
2
Pith papers citing it
359
external citations · OpenAlex
citation-role summary
background 1
citation-polarity summary
verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Sure-almost-sure and sure-limit-sure window mean-payoff problems in MDPs are in P (fixed, unary) and NP∩coNP (bounded), with memory bounds for strategies.
citing papers explorer
-
Positionality in $\Sigma_0^2$ and a completeness result
Prefix-independent Σ₀² objectives with neutral letters are positional over arbitrary graphs exactly when recognized by history-deterministic monotone co-Büchi automata over countable ordinals, with proofs for mean-payoff positionality and a completeness lifting from finite graphs.
-
Sure-almost-sure and Sure-limit-sure Window Mean Payoff in Markov Decision Processes
Sure-almost-sure and sure-limit-sure window mean-payoff problems in MDPs are in P (fixed, unary) and NP∩coNP (bounded), with memory bounds for strategies.