Solving Mean-Payoff Games via Quasi Dominions

DOI10.1007/978-3-030-45237-7_18zbMath1484.91004OpenAlexW3020981221MaRDI QIDQ5164175

Massimo Benerecetti, Fabio Mogavero, Daniele Dell'Erba

Publication date: 10 November 2021

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-45237-7_18

Mathematics Subject Classification ID

2-person games (91A05) Spaces of games (91A70)

Related Items (1)

Solving mean-payoff games via quasi dominions

Cites Work

• Unnamed Item
• Unnamed Item
• Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
• Improved pseudo-polynomial bound for the value problem and optimal strategy synthesis in mean payoff games
• Faster algorithms for mean-payoff games
• A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games
• Positional strategies for mean payoff games
• The complexity of stochastic games
• The complexity of mean payoff games on graphs
• Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games
• PRIMES is in P
• Sur le théorème de Zorn
• Mean Cost Cyclical Games
• USING STRATEGY IMPROVEMENT TO STAY ALIVE
• Temporal Specifications with Accumulative Values
• Tropicalizing the Simplex Algorithm
• Cyclic games and an algorithm to find minimax cycle means in directed graphs
• An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
• Infinite Runs in Weighted Timed Automata with Energy Constraints
• Better Quality in Synthesis through Quantitative Objectives
• Solving Parity Games in Practice
• Solving Parity Games via Priority Promotion
• The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average
• Combinatorial Simplex Algorithms Can Solve Mean Payoff Games
• Mathematical Foundations of Computer Science 2004
• Synthesis from LTL Specifications with Mean-Payoff Objectives
• Beweisstudien zum Satz von M. Zorn. Herrn Erhard. Schmidt zum 75. Geburtstag gewidmet

This page was built for publication: Solving Mean-Payoff Games via Quasi Dominions