No label defined (Q5875380)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7649927

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

Statements

scholarly article

0 references

0 references

Karoliina Lehtinen

0 references

publication date

3 February 2023

0 references

full work available at URL

https://arxiv.org/abs/1906.11624

0 references

zbMATH Keywords

good for games

0 references

history-determinism

0 references

alternation

0 references

MaRDI profile type

MaRDI publication profile

0 references

Why These Automata Types?

0 references

Nondeterminism in the Presence of a Diverse or Unknown Future

0 references

How Deterministic are Good-For-Games Automata?

0 references

Alternation Removal in Büchi Automata

0 references

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

Universal graphs and good for games automata: new tools for infinite duration games

0 references

Solving Games Without Determinization

0 references

On Determinisation of Good-for-Games Automata

0 references

Relating word and tree automata

0 references

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

0 references

Alternating finite automata on \(\omega\)-words

0 references

Identifiers

10.4230/LIPIcs.CONCUR.2019.19

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5875380

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