Generalized Mean-payoff and Energy Games
From MaRDI portal
Publication:2908881
DOI10.4230/LIPIcs.FSTTCS.2010.505zbMath1245.68090arXiv1007.1669OpenAlexW2096272173MaRDI QIDQ2908881
Krishnendu Chatterjee, Laurent Doyen, Jean-François Raskin, Thomas A. Henzinger
Publication date: 29 August 2012
Full work available at URL: https://arxiv.org/abs/1007.1669
Applications of game theory (91A80) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
Related Items (36)
Hyperplane separation technique for multidimensional mean-payoff games ⋮ State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems ⋮ Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time ⋮ Graph Games and Reactive Synthesis ⋮ Compositional strategy synthesis for stochastic games with multiple objectives ⋮ Mean-payoff games with partial observation ⋮ The fixed initial credit problem for partial-observation energy games is \textsc{Ack}-complete ⋮ Temporal Specifications with Accumulative Values ⋮ Reachability games with relaxed energy constraints ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Synthesis for Multi-weighted Games with Branching-Time Winning Conditions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Energy Büchi problems ⋮ Submixing and shift-invariant stochastic games ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Percentile queries in multi-dimensional Markov decision processes ⋮ Interface simulation distances ⋮ Deciding Fast Termination for Probabilistic VASS with Nondeterminism ⋮ Solving parity games via priority promotion ⋮ Reactive synthesis without regret ⋮ Strategy synthesis for multi-dimensional quantitative objectives ⋮ A delayed promotion policy for parity games ⋮ Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines ⋮ Quantitative reductions and vertex-ranked infinite games ⋮ Improving parity games in practice ⋮ The Complexity of Nash Equilibria in Limit-Average Games ⋮ Solving Parity Games Using an Automata-Based Algorithm ⋮ Energy Games in Multiweighted Automata ⋮ Optimal Bounds for Multiweighted and Parametrised Energy Games ⋮ Efficient Analysis of Probabilistic Programs with an Unbounded Counter ⋮ Looking at mean-payoff and total-payoff through windows
This page was built for publication: Generalized Mean-payoff and Energy Games
