Synthesis of Finite-state and Definable Winning Strategies.

DOI10.4230/LIPIcs.FSTTCS.2009.2332zbMath1250.03015OpenAlexW1594572982MaRDI QIDQ2920143

Alexander Rabinovich

Publication date: 24 October 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_4bbd.html

zbMATH Keywords

monadic logiccomposition methodChurch synthesis problemgames of ordinal length

Mathematics Subject Classification ID

2-person games (91A05) Applications of game theory (91A80) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (2)

Finite-state strategies in delay games ⋮ Unnamed Item

This page was built for publication: Synthesis of Finite-state and Definable Winning Strategies.