Two local strategy iteration schemes for parity game solving
type: Item
instance of: scholarly article
zbMATH Open document ID: 1246.91025
DOI: 10.1142/S0129054112400333
author: Oliver Friedmann
author: Martin Lange
published in: International Journal of Foundations of Computer Science
publication date: 2012-08-30T00:00:00Z
Mathematics Subject Classification ID: 91A43
Mathematics Subject Classification ID: 91A05
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B80
zbMATH DE Number: 6073964
zbMATH Keywords: parity games
zbMATH Keywords: strategy iteration
zbMATH Keywords: local solving
zbMATH Keywords: modal \(\mu \) calculus
describes a project that uses: PGSolver
MaRDI profile type: Publication
cites work: Games for synthesis of controllers with partial observation.
cites work: Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
cites work: Model Checking Games for Branching Time Logics
cites work: Infinite games on finitely coloured graphs with applications to automata on infinite trees
full work available at URL: s0129054112400333
OpenAlex ID: W1986303408
title: Two local strategy iteration schemes for parity game solving
description: scientific article; zbMATH DE number 6073964