Energy Parity Games
From MaRDI portal
Publication:3587471
DOI10.1007/978-3-642-14162-1_50zbMath1288.68160OpenAlexW2792346428MaRDI 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
Analysis of algorithms and problem complexity (68Q25) 2-person games (91A05) Games involving graphs (91A43) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (15)
Average-energy games ⋮ Parameterized linear temporal logics meet costs: still not costlier than LTL ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Simple stochastic games with almost-sure energy-parity objectives are in NP and conp ⋮ Strategy synthesis for multi-dimensional quantitative objectives ⋮ Synthesizing robust systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On Memoryless Quantitative Objectives ⋮ Energy Games in Multiweighted Automata ⋮ Optimal Bounds for Multiweighted and Parametrised Energy Games ⋮ Efficient Analysis of Probabilistic Programs with an Unbounded Counter
This page was built for publication: Energy Parity Games
