Energy parity games
type: Item
instance of: scholarly article
title: Energy parity games
zbMATH Open document ID: 1260.91039
author: Krishnendu Chatterjee
author: Laurent Doyen
published in: Theoretical Computer Science
publication date: 2012-11-08T00:00:00Z
Mathematics Subject Classification ID: 91A43
Mathematics Subject Classification ID: 91A05
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 6103613
zbMATH Keywords: games on graphs
zbMATH Keywords: parity objectives
zbMATH Keywords: quantitative objectives
Wikidata QID: Q41640966
MaRDI profile type: Publication
full work available at URL: j.tcs.2012.07.038
OpenAlex ID: W2096608485
cites work: Memoryless determinacy of parity and mean payoff games: a simple proof
cites work: Better Quality in Synthesis through Quantitative Objectives
cites work: Infinite Runs in Weighted Timed Automata with Energy Constraints
cites work: Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited
cites work: Faster algorithms for mean-payoff games
cites work: Solving Sequential Conditions by Finite-State Strategies
cites work: Faster algorithm for mean-payoff games
cites work: The complexity of stochastic games
cites work: On model checking for the \(\mu\)-calculus and its fragments
cites work: CONCUR 2005 – Concurrency Theory
cites work: Automata, logics, and infinite games. A guide to current research
cites work: Half-Positional Determinacy of Infinite Games
cites work: Infinite games played on finite graphs
cites work: Q4205072
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Foundations of Software Science and Computation Structures
cites work: Stochastic Games
cites work: Infinite games on finitely coloured graphs with applications to automata on infinite trees
cites work: The complexity of mean payoff games on graphs
DOI: 10.1016/J.TCS.2012.07.038
Recommended article: Energy Parity Games
Recommended article: Q5875382
Recommended article: Infinite-state energy games
Recommended article: Q5013874
Recommended article: Average-energy games
Recommended article: Energy allocation and payment: a game-theoretic approach
Recommended article: Energy Games in Multiweighted Automata
Recommended article: The graph energy game
description: scientific article; zbMATH DE number 6103613