The Theory of Universal Graphs for Infinite Duration Games (Q5043588): Difference between revisions

@@ Property / DOI @@
-.46298/lmcs-18(3:29)2022
@@ Property / DOI: 10.46298/lmcs-18(3:29)2022 / rank @@
-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 @@
+Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games
+Normal rank
@@ Property / cites work @@
+Quasipolynomial Set-Based Symbolic Algorithms for Parity Games
+Normal rank
@@ Property / cites work @@
+The Bridge Between Regular Cost Functions and Omega-Regular Languages
+Normal rank
@@ Property / cites work @@
+Universal graphs and good for games automata: new tools for infinite duration games
+Normal rank
@@ Property / cites work @@
+Formal Methods for Components and Objects
@@ Property / cites work: Formal Methods for Components and Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding parity games in quasipolynomial time
@@ Property / cites work: Deciding parity games in quasipolynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Stabilisation Monoids and Regular Cost Functions
+Normal rank
@@ Property / cites work @@
+Improved pseudo-polynomial bound for the value problem and optimal strategy synthesis in mean payoff games
+Normal rank
@@ Property / cites work @@
+A pseudo-quasi-polynomial algorithm for mean-payoff parity games
+Normal rank
@@ Property / cites work @@
+Q5875379
@@ Property / cites work: Q5875379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5091276
@@ Property / cites work: Q5091276 / rank @@
+Normal rank
@@ Property / cites work @@
+Positional strategies for mean payoff games
@@ Property / cites work: Positional strategies for mean payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games
+Normal rank
@@ Property / cites work @@
+An application of simultaneous diophantine approximation in combinatorial optimization
+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 @@
+Cyclic games and an algorithm to find minimax cycle means in directed graphs
+Normal rank
@@ Property / cites work @@
+Solving Games Without Determinization
@@ Property / cites work: Solving Games Without Determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144638
@@ Property / cites work: Q5144638 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear programming, the simplex algorithm and simple polytopes
+Normal rank
@@ Property / cites work @@
+Half-Positional Determinacy of Infinite Games
@@ Property / cites work: Half-Positional Determinacy of Infinite Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5114824
@@ Property / cites work: Q5114824 / rank @@
+Normal rank
@@ Property / cites work @@
+A modal μ perspective on solving parity games in quasi-polynomial time
+Normal rank
@@ Property / cites work @@
+The Theory of Universal Graphs for Infinite Duration Games
+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 @@
+A subexponential bound for linear programming
@@ Property / cites work: A subexponential bound for linear programming / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Clique-Width and Parity Games
@@ Property / cites work: Clique-Width and Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time
+Normal rank
@@ Property / cites work @@
+Q5874219
@@ Property / cites work: Q5874219 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5079761
@@ Property / cites work: Q5079761 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of multi-mean-payoff and multi-energy games
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank
@@ Property / DOI @@
+.46298/LMCS-18(3:29)2022
@@ Property / DOI: 10.46298/LMCS-18(3:29)2022 / rank @@
+Normal rank