Quantitative solution of omega-regular games
type: Item
instance of: scholarly article
title: Quantitative solution of omega-regular games
zbMATH Open document ID: 1093.91001
author: Luca De Alfaro
author: Rupak Majumdar
published in: Journal of Computer and System Sciences
publication date: 2004-11-22T00:00:00Z
Mathematics Subject Classification ID: 91A05
zbMATH DE Number: 2117378
zbMATH Keywords: Automata
zbMATH Keywords: Games
zbMATH Keywords: \(\mu\)-Calculus
zbMATH Keywords: Probabilistic algorithm
zbMATH Keywords: Temporal logic
MaRDI profile type: Publication
full work available at URL: j.jcss.2003.07.009
OpenAlex ID: W2060155289
cites work: Model checking of probabilistic and nondeterministic systems
cites work: Solving Sequential Conditions by Finite-State Strategies
cites work: Model theory.
cites work: Q4038703
cites work: Q4518905
cites work: Q3245633
cites work: Q4382287
cites work: Results on the propositional \(\mu\)-calculus
cites work: Existence of Value and Randomized Strategies in Zero-Sum Discrete-Time Stochastic Dynamic Games
cites work: Q4002642
cites work: The determinacy of Blackwell games
cites work: Demonic, angelic and unbounded probabilistic choices in sequential programs
cites work: Infinite games played on finite graphs
cites work: Q3753490
cites work: Q5545175
cites work: Algorithms for stochastic games ? A survey
cites work: Stochastic Games
cites work: Q5807665
cites work: On the synthesis of strategies in infinite games
cites work: The bad match; a total reward stochastic game
cites work: Reasoning about infinite computations
cites work: Theory of games and economic behavior.
cites work: Q5801624
cites work: Probability with Martingales
DOI: 10.1016/J.JCSS.2003.07.009
description: scientific article; zbMATH DE number 2117378