Solving Parity Games Using an Automata-Based Algorithm (Q2830208): Difference between revisions

@@ Property / arXiv ID @@
+.13765
@@ Property / arXiv ID: 1910.13765 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved model checking of hierarchical systems
@@ Property / cites work: Improved model checking of hierarchical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-Time Under-Approximation of Winning Regions in Parity Games
+Normal rank
@@ Property / cites work @@
+Admissibility in Infinite Games
@@ Property / cites work: Admissibility in Infinite Games / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Mean-payoff and Energy Games
@@ Property / cites work: Generalized Mean-payoff and Energy Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5501249
@@ Property / cites work: Q5501249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
+Normal rank
@@ Property / cites work @@
+Solving Parity Games in Practice
@@ Property / cites work: Solving Parity Games in Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Solving parity games by a reduction to SAT
@@ Property / cites work: Solving parity games by a reduction to SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+A Deterministic Subexponential Algorithm for Solving Parity Games
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Module checking
@@ Property / cites work: Module checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542592
@@ Property / cites work: Q4542592 / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+On Promptness in Parity Games
@@ Property / cites work: On Promptness in Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / rank @@
+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 @@
+An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
+Normal rank
@@ Property / cites work @@
+Facets of Synthesis: Revisiting Church’s Problem
+Normal rank
@@ Property / cites work @@
+Q2754084
@@ Property / cites work: Q2754084 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating tree automata, parity games, and modal \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank