Solving Parity Games in Practice (Q3648698): 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-04761-9_15
+Normal rank
@@ Property / OpenAlex ID @@
+W2168360220
@@ Property / OpenAlex ID: W2168360220 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-Time Under-Approximation of Winning Regions in Parity Games
+Normal rank
@@ Property / cites work @@
+Games for synthesis of controllers with partial observation.
+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 @@
+Complementation, Disambiguation, and Determinization of Büchi Automata Unified
+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 @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / 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 @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3648698