Model checking games for the quantitative \(\mu \)-calculus
type: Item
instance of: scholarly article
title: Model checking games for the quantitative \(\mu \)-calculus
zbMATH Open document ID: 1205.68243
author: Diana Fischer
author: Erich Grädel
author: Łukasz Kaiser
published in: Theory of Computing Systems
publication date: 2010-10-06T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 91A43
Mathematics Subject Classification ID: 91A05
Mathematics Subject Classification ID: 05C57
zbMATH DE Number: 5796570
zbMATH Keywords: games
zbMATH Keywords: logic
zbMATH Keywords: model checking
zbMATH Keywords: quantitative logics
MaRDI profile type: Publication
full work available at URL: s00224-009-9201-y
OpenAlex ID: W2015011216
cites work: CONCUR 2003 - Concurrency Theory
cites work: Quantitative solution of omega-regular games
cites work: Q4449238
cites work: Model checking discounted temporal properties
cites work: Automata, Languages and Programming
cites work: On model checking for the \(\mu\)-calculus and its fragments
cites work: Computing Game Values for Crash Games
cites work: Perfect Information Stochastic Priority Games
cites work: Q4501540
cites work: Borel determinacy
cites work: Q4428307
DOI: 10.1007/S00224-009-9201-Y
description: scientific article; zbMATH DE number 5796570