No label defined (Q3384169)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	No label defined	scientific article

Statements

scholarly article

0 references

Martín G. Zimmermann

0 references

publication date

14 December 2021

0 references

full work available at URL

http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.11

0 references

MaRDI profile type

MaRDI publication profile

0 references

Weak MSO with the unbounding quantifier

0 references

Solving Sequential Conditions by Finite-State Strategies

0 references

Deciding parity games in quasipolynomial time

0 references

The Complexity of Request-Response Games

0 references

0 references

Degrees of Lookahead in Context-free Infinite Games

0 references

0 references

Automata, logics, and infinite games. A guide to current research

0 references

Degrees of Lookahead in Regular Infinite Games

0 references

0 references

0 references

What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead

0 references

How Much Lookahead is Needed to Win Infinite Games?

0 references

0 references

Borel determinacy

0 references

Infinite games played on finite graphs

0 references

0 references

Decidability of Second-Order Theories and Automata on Infinite Trees

0 references

Synthesis of Finite-state and Definable Winning Strategies.

0 references

0 references

Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications

0 references

Pushdown processes: Games and model-checking

0 references

Delay Games with WMSO+U Winning Conditions

0 references

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3384169

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