Down the Borel hierarchy: solving Muller games via safety games (Q477197): Difference between revisions

@@ Property / OpenAlex ID @@
+W1994610451
@@ Property / OpenAlex ID: W1994610451 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2457
@@ Property / arXiv ID: 1210.2457 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank
@@ Property / cites work @@
+Infinite games played on finite graphs
@@ Property / cites work: Infinite games played on finite graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Muller Games are PTIME
@@ Property / cites work: Explicit Muller Games are PTIME / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal strategy synthesis for request-response games
+Normal rank
@@ Property / cites work @@
+Time-Optimal Winning Strategies for Poset Games
@@ Property / cites work: Time-Optimal Winning Strategies for Poset Games / rank @@
+Normal rank
@@ Property / cites work @@
+Permissive strategies: from parity games to safety games
+Normal rank
@@ Property / cites work @@
+Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited
+Normal rank
@@ Property / cites work @@
+Finitary winning in ω-regular games
@@ Property / cites work: Finitary winning in ω-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Q2957486
@@ Property / cites work: Q2957486 / rank @@
+Normal rank
@@ Property / cites work @@
+Better Quality in Synthesis through Quantitative Objectives
+Normal rank
@@ Property / cites work @@
+Q2776609
@@ Property / cites work: Q2776609 / rank @@
+Normal rank
@@ Property / cites work @@
+PLAYING MULLER GAMES IN A HURRY
@@ Property / cites work: PLAYING MULLER GAMES IN A HURRY / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Synthesis
@@ Property / cites work: Bounded Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Antichains and compositional algorithms for LTL synthesis
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications
+Normal rank
@@ Property / cites work @@
+Faster algorithms for mean-payoff games
@@ Property / cites work: Faster algorithms for mean-payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Small Strategies for Safety Games
@@ Property / cites work: Small Strategies for Safety Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4986514
@@ Property / cites work: Q4986514 / rank @@
+Normal rank