Delay Games with WMSO+U Winning Conditions (Q2953690): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2530653662
@@ Property / OpenAlex ID: W2530653662 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3978
@@ Property / arXiv ID: 1412.3978 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Weak MSO with the unbounding quantifier
@@ Property / cites work: Weak MSO with the unbounding quantifier / rank @@
+Normal rank
@@ Property / cites work @@
+Weak MSO+U with Path Quantifiers over Infinite Trees
+Normal rank
@@ Property / cites work @@
+On the Decidability of MSO+U on Infinite Trees
@@ Property / cites work: On the Decidability of MSO+U on Infinite Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q2920114
@@ Property / cites work: Q2920114 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904801
@@ Property / cites work: Q2904801 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+The Wadge Hierarchy of Max-Regular Languages
@@ Property / cites work: The Wadge Hierarchy of Max-Regular Languages / rank @@
+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 @@
+Finitary winning in ω-regular games
@@ Property / cites work: Finitary winning in ω-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric linear dynamic logic
@@ Property / cites work: Parametric linear dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Parity and Streett Games with Costs
@@ Property / cites work: Parity and Streett Games with Costs / 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 @@
+Q2909624
@@ Property / cites work: Q2909624 / 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 @@
+Infinite Games and Uniformization
@@ Property / cites work: Infinite Games and Uniformization / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214824
@@ Property / cites work: Q3214824 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal bounds in parametric LTL games
@@ Property / cites work: Optimal bounds in parametric LTL games / 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