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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-20297-6_26
+Normal rank
@@ Property / OpenAlex ID @@
+W1908845516
@@ Property / OpenAlex ID: W1908845516 / 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 @@
+Q4601873
@@ Property / cites work: Q4601873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904801
@@ Property / cites work: Q2904801 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / 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 @@
+Finitary winning in ω-regular games
@@ Property / cites work: Finitary winning in ω-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4995359
@@ Property / cites work: Q4995359 / 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 @@
+Automata, logics, and infinite games. A guide to current research
+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 @@
+From liveness to promptness
@@ Property / cites work: From liveness to promptness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4995361
@@ Property / cites work: Q4995361 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / 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