Energy Parity Games
From MaRDI portal
Publication:3587471
DOI10.1007/978-3-642-14162-1_50zbMath1288.68160MaRDI QIDQ3587471
Krishnendu Chatterjee, Laurent Doyen
Publication date: 7 September 2010
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14162-1_50
68Q25: Analysis of algorithms and problem complexity
91A05: 2-person games
91A43: Games involving graphs
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Efficient Analysis of Probabilistic Programs with an Unbounded Counter, Simple stochastic games with almost-sure energy-parity objectives are in NP and conp, Strategy synthesis for multi-dimensional quantitative objectives, Synthesizing robust systems, Average-energy games, Parameterized linear temporal logics meet costs: still not costlier than LTL, Optimal Bounds for Multiweighted and Parametrised Energy Games, Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems, On Memoryless Quantitative Objectives, Energy Games in Multiweighted Automata