Generalized Mean-payoff and Energy Games
From MaRDI portal
Publication:2908881
DOI10.4230/LIPIcs.FSTTCS.2010.505zbMath1245.68090arXiv1007.1669MaRDI 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
91A80: Applications of game theory
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)
Related Items
Unnamed Item, Unnamed Item, State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems, Synthesis for Multi-weighted Games with Branching-Time Winning Conditions, Efficient Analysis of Probabilistic Programs with an Unbounded Counter, Unnamed Item, Unnamed Item, Percentile queries in multi-dimensional Markov decision processes, Energy Büchi problems, Submixing and shift-invariant stochastic games, The fixed initial credit problem for partial-observation energy games is \textsc{Ack}-complete, Interface simulation distances, Reactive synthesis without regret, Compositional strategy synthesis for stochastic games with multiple objectives, Solving parity games via priority promotion, 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, Strategy synthesis for multi-dimensional quantitative objectives, Looking at mean-payoff and total-payoff through windows, Hyperplane separation technique for multidimensional mean-payoff games, Mean-payoff games with partial observation, Reachability games with relaxed energy constraints, Solving Parity Games Using an Automata-Based Algorithm, Optimal Bounds for Multiweighted and Parametrised Energy Games, Temporal Specifications with Accumulative Values, Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems, The Complexity of Nash Equilibria in Limit-Average Games, Energy Games in Multiweighted Automata, Graph Games and Reactive Synthesis, Unnamed Item, Unnamed Item, Unnamed Item, Deciding Fast Termination for Probabilistic VASS with Nondeterminism, Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time