Solving μ-Calculus Parity Games by Symbolic Planning (Q3614877): 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-642-00431-5_2
+Normal rank
@@ Property / OpenAlex ID @@
+W1570795393
@@ Property / OpenAlex ID: W1570795393 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817533
@@ Property / cites work: Q4817533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418690
@@ Property / cites work: Q4418690 / rank @@
+Normal rank
@@ Property / cites work @@
+STACS 2004
@@ Property / cites work: STACS 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time model-checking algorithm for the alternation-free modal mu- calculus
+Normal rank
@@ Property / cites work @@
+An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / 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 @@
+Q2845509
@@ Property / cites work: Q2845509 / rank @@
+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 @@
+Solving Parity Games in Big Steps
@@ Property / cites work: Solving Parity Games in Big Steps / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and simple nested fixpoints
@@ Property / cites work: Fast and simple nested fixpoints / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of strategies in infinite games
@@ Property / cites work: On the synthesis of strategies in infinite games / rank @@
+Normal rank
@@ Property / cites work @@
+A Multi-Core Solver for Parity Games
@@ Property / cites work: A Multi-Core Solver for Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754084
@@ Property / cites work: Q2754084 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank