No label defined (Q5090951)

From MaRDI portal

Revision as of 16:32, 29 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

scientific article; zbMATH DE number 7561321

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

Statements

scholarly article

0 references

0 references

Denis Kuperberg

0 references

publication date

21 July 2022

0 references

zbMATH Keywords

Büchi

0 references

automata

0 references

games

0 references

polynomial time

0 references

nondeterminism

0 references

MaRDI profile type

MaRDI publication profile

0 references

Nondeterminism in the Presence of a Diverse or Unknown Future

0 references

How Deterministic are Good-For-Games Automata?

0 references

Solving Sequential Conditions by Finite-State Strategies

0 references

Deciding parity games in quasipolynomial time

0 references

The Theory of Stabilisation Monoids and Regular Cost Functions

0 references

Forms of Determinism for Automata (Invited Talk)

0 references

0 references

Solving Games Without Determinization

0 references

0 references

Progress measures, immediate determinacy, and a subset construction for tree automata

0 references

Are Good-for-Games Automata Good for Probabilistic Model Checking?

0 references

Width of Non-deterministic Automata

0 references

On Determinisation of Good-for-Games Automata

0 references

Infinite games played on finite graphs

0 references

Solving parity games in big steps

0 references

Identifiers

10.4230/LIPIcs.FSTTCS.2018.16

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5090951

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