scientific article; zbMATH DE number 1962853
From MaRDI portal
Publication:4418690
zbMath1035.68134MaRDI QIDQ4418690
Sergei Vorobyov, Sven Sandberg, Henrik Björklund
Publication date: 11 August 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2607/26070663.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (18)
Random sampling in computational algebra: Helly numbers and violator spaces ⋮ Memoryless determinacy of parity and mean payoff games: a simple proof ⋮ Graph Games and Reactive Synthesis ⋮ Parity game reductions ⋮ A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games ⋮ Alternating traps in Muller and parity games ⋮ Removing degeneracy may require unbounded dimension increase ⋮ A CSP-Based Approach for Solving Parity Game ⋮ A survey of stochastic \(\omega \)-regular games ⋮ Solving parity games by a reduction to SAT ⋮ Graph operations on parity games and polynomial-time algorithms ⋮ Helly’s theorem: New variations and applications ⋮ Unique sink orientations of grids ⋮ Violator spaces: Structure and algorithms ⋮ Cyclic games and linear programming ⋮ New deterministic algorithms for solving parity games ⋮ Solving μ-Calculus Parity Games by Symbolic Planning ⋮ Combinatorial structure and randomized subexponential algorithms for infinite games
This page was built for publication: