Positional strategies for mean payoff games

Cites work

On the axiom of determinateness (II)

Cited in

(only showing first 100 items - show all)

Fair quantitative games
A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games
A convex programming-based algorithm for mean payoff stochastic games with perfect information
A constructive algorithm for max-min paths problems on energy networks
The Cost of Traveling between Languages
Random zero-sum dynamic games on infinite directed graphs
A short certificate of the number of universal optimal strategies for stopping simple stochastic games
Tropical Linear Regression and Mean Payoff Games: Or, How to Measure the Distance to Equilibria
A note on the approximation of mean-payoff games
Robust worst cases for parity games algorithms
Tropical gradient descent
The quantitative linear-time-branching-time spectrum
Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games
Positionality in ^0_2 and a completeness result
Stationary equilibria in cyclic games: search and structure
On canonical forms for zero-sum stochastic mean payoff games
Automated competitive analysis of real-time scheduling with graph games
Solving mean-payoff games via quasi dominions
On the positional determinacy of edge-labeled games
Qualitative analysis of concurrent mean-payoff games
Checking dynamic consistency of conditional hyper temporal networks via mean payoff games. Hardness and (pseudo) singly-exponential time algorithm
Beyond value iteration for parity games: strategy iteration with universal trees
scientific article; zbMATH DE number 7559480 (Why is no real title available?)
Stochastic window mean-payoff games
New algorithms for solving tropical linear systems
Process equivalence problems as energy games
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games
Reactive synthesis without regret
A nested family of k-total effective rewards for positional games
Improved pseudo-polynomial bound for the value problem and optimal strategy synthesis in mean payoff games
First-cycle games
On memoryless quantitative objectives
The complexity of mean payoff games on graphs
Energy mean-payoff games
A faster deterministic exponential time algorithm for energy games and mean payoff games
ETCetera: beyond Event-Triggered Control
Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs
The GKK algorithm is the fastest over simple mean-payoff games
Optimal supervisory control of discrete event systems for cyclic tasks
Memoryless determinacy of parity and mean payoff games: a simple proof
Fast algorithms for energy games in special cases
Combinatorial structure and randomized subexponential algorithms for infinite games
Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
Nash equilibria in symmetric graph games with partial observation
Quantitative fair simulation games
Selfish cops and passive robber: qualitative games
scientific article; zbMATH DE number 7533335 (Why is no real title available?)
On discounted approximations of undiscounted stochastic games and Markov decision processes with limited randomness
Equilibria for games with combined qualitative and quantitative objectives
scientific article; zbMATH DE number 7447730 (Why is no real title available?)
Nash Equilibria Conditions for Cyclic Games with p Players
General quantitative specification theories with modal transition systems
Enforcing opacity by insertion functions under multiple energy constraints
On solving mean payoff games using pivoting algorithms
Optimal strategies in weighted limit games
A survey of stochastic -regular games
Tropical linear-fractional programming and parametric mean payoff games
Deterministic sub-exponential algorithm for discounted-sum games with unary weights
On the Existence of Stationary Nash Equilibria for Mean Payoff Games on Graphs
Nash-solvable two-person symmetric cycle game forms
Probabilistic Weighted Automata
Using strategy improvement to stay alive
On Nash-solvability of n-person graphical games under Markov and a-priori realizations
scientific article; zbMATH DE number 7445162 (Why is no real title available?)
The complexity of infinitely repeated alternating move games
The Theory of Universal Graphs for Infinite Duration Games
Solving parity games via priority promotion
The per-character cost of repairing word languages
Cyclic games and linear programming
Average-energy games
Mean-payoff games and propositional proofs
Looking at mean payoff through foggy windows
The Complexity of Nash Equilibria in Limit-Average Games
Dynamic Restriction of Choices: Synthesis of Societal Rules
Approximation schemes for stochastic mean payoff games with perfect information and few random positions
Abstract tropical linear programming
Games where you can play optimally with arena-independent finite memory
Time-Optimal Winning Strategies for Poset Games
The complexity of mean payoff games
Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
On Nash-solvability in pure stationary strategies of finite games with perfect information which may have cycles.
Hyperplane separation technique for multidimensional mean-payoff games
Half-positional objectives recognized by deterministic Büchi automata
Energy games in multiweighted automata
Infinite Runs in Weighted Timed Automata with Energy Constraints
Formal verification and synthesis of mechanisms for social choice
Quantitative simulations by matrices
Limit your consumption! Finding bounds in average-energy games
Compositional strategy synthesis for stochastic games with multiple objectives
Dynamics of choice restriction in large games
Quantitative reductions and vertex-ranked infinite games
Looking at mean-payoff and total-payoff through windows
The complexity of multi-mean-payoff and multi-energy games
Hard problems in max-algebra, control theory, hypergraphs and other areas
An average polynomial algorithm for solving antagonistic games on graphs
Generic uniqueness of the bias vector of finite zero-sum stochastic games with perfect information
Parity Games and Propositional Proofs
Protocol scheduling
Bounding Average-Energy Games
scientific article; zbMATH DE number 7559416 (Why is no real title available?)

This page was built for publication: Positional strategies for mean payoff games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1172002)