Parity Games on Graphs with Medium Tree-Width

DOI10.1007/978-3-642-22993-0_29zbMath1343.91012OpenAlexW1509300745MaRDI QIDQ3088049

Oded Lachish, John Fearnley

Publication date: 17 August 2011

Published in: Mathematical Foundations of Computer Science 2011 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22993-0_29

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Games involving graphs (91A43) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Solving parity games via priority promotion ⋮ New deterministic algorithms for solving parity games

This page was built for publication: Parity Games on Graphs with Medium Tree-Width