No label defined (Q5028462)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7471697

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7471697

Statements

scholarly article

0 references

Karoliina Lehtinen

0 references

0 references

0 references

Dominik Wojtczak

0 references

publication date

9 February 2022

0 references

full work available at URL

https://arxiv.org/abs/2104.09717

0 references

https://lmcs.episciences.org/8953

0 references

zbMATH Keywords

parity games

0 references

quasipolynomial algorithm

0 references

Zielonka's algorithm

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

Robust worst cases for parity games algorithms

0 references

On model checking for the \(\mu\)-calculus and its fragments

0 references

Exponential Lower Bounds for Policy Iteration

0 references

Subexponential lower bounds for randomized pivoting rules for the simplex algorithm

0 references

Recursive algorithm for parity games requires exponential time

0 references

A Subexponential Lower Bound for Zadeh’s Pivoting Rule for Solving Linear Programs and Games

0 references

0 references

Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)

0 references

A modal μ perspective on solving parity games in quasi-polynomial time

0 references

Borel determinacy

0 references

Infinite games played on finite graphs

0 references

0 references

0 references

Infinite games on finitely coloured graphs with applications to automata on infinite trees

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5028462

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5028462&oldid=36765805"