How Much Lookahead is Needed to Win Infinite Games? (Q5892380): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+MSO on the Infinite Binary Tree: Choice and Order
@@ Property / cites work: MSO on the Infinite Binary Tree: Choice and Order / rank @@
+Normal rank
@@ Property / cites work @@
+Q5271416
@@ Property / cites work: Q5271416 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Lookahead in Context-free Infinite Games
+Normal rank
@@ Property / cites work @@
+Rabin's uniformization problem
@@ Property / cites work: Rabin's uniformization problem / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Lookahead in Regular Infinite Games
@@ Property / cites work: Degrees of Lookahead in Regular Infinite Games / rank @@
+Normal rank
@@ Property / cites work @@
+How Much Lookahead is Needed to Win Infinite Games?
+Normal rank
@@ Property / cites work @@
+What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead
+Normal rank
@@ Property / cites work @@
+From liveness to promptness
@@ Property / cites work: From liveness to promptness / rank @@
+Normal rank
@@ Property / cites work @@
+On Bounded Specifications
@@ Property / cites work: On Bounded Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of deterministic top-down tree transducers from automatic tree relations
+Normal rank
@@ Property / cites work @@
+Solving Parity Games in Big Steps
@@ Property / cites work: Solving Parity Games in Big Steps / rank @@
+Normal rank
@@ Property / cites work @@
+Q3698787
@@ Property / cites work: Q3698787 / rank @@
+Normal rank
@@ Property / cites work @@
+Facets of Synthesis: Revisiting Church’s Problem
+Normal rank
@@ Property / cites work @@
+Q3214824
@@ Property / cites work: Q3214824 / rank @@
+Normal rank
@@ Property / cites work @@
+Delay Games with WMSO$$+$$U Winning Conditions
@@ Property / cites work: Delay Games with WMSO$$+$$U Winning Conditions / rank @@
+Normal rank