Stochastic Müller Games are PSPACE-Complete (Q5458855): 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-540-77050-3_36
+Normal rank
@@ Property / OpenAlex ID @@
+W1579971638
@@ Property / OpenAlex ID: W1579971638 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Optimal Strategy Synthesis in Stochastic Müller Games
+Normal rank
@@ Property / cites work @@
+The complexity of stochastic Müller games
@@ Property / cites work: The complexity of stochastic Müller games / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of stochastic games
@@ Property / cites work: The complexity of stochastic games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287357
@@ Property / cites work: Q4287357 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038703
@@ Property / cites work: Q4038703 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / rank @@
+Normal rank
@@ Property / cites work @@
+Dicing on the Streett
@@ Property / cites work: Dicing on the Streett / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2005
@@ Property / cites work: Mathematical Foundations of Computer Science 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+The determinacy of Blackwell games
@@ Property / cites work: The determinacy of Blackwell games / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+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