The complexity of stochastic Müller games (Q418128): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2011.11.004
@@ Property / DOI: 10.1016/j.ic.2011.11.004 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A15
@@ Property / Mathematics Subject Classification ID: 91A15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A43
@@ Property / Mathematics Subject Classification ID: 91A43 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q17
@@ Property / Mathematics Subject Classification ID: 68Q17 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6038290
@@ Property / zbMATH DE Number: 6038290 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+game theory
@@ Property / zbMATH Keywords: game theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+stochastic games
@@ Property / zbMATH Keywords: stochastic games / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Müller objectives
@@ Property / zbMATH Keywords: Müller objectives / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\(\omega \)-regular objectives
@@ Property / zbMATH Keywords: \(\omega \)-regular objectives / rank @@
+Normal rank
@@ 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.1016/j.ic.2011.11.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2162705683
@@ Property / OpenAlex ID: W2162705683 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Concurrent games with tail objectives
@@ Property / cites work: Concurrent games with tail objectives / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Strategy Synthesis in Stochastic Müller Games
+Normal rank
@@ Property / cites work @@
+Stochastic Müller Games are PSPACE-Complete
@@ Property / cites work: Stochastic Müller Games are PSPACE-Complete / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / 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 @@
+Q5501249
@@ Property / cites work: Q5501249 / 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 @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / 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 @@
+Random Fruits on the Zielonka Tree
@@ Property / cites work: Random Fruits on the Zielonka Tree / 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 @@
+The determinacy of Blackwell games
@@ Property / cites work: The determinacy of Blackwell games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428307
@@ Property / cites work: Q4428307 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed point characterization of infinite behavior of finite-state systems
+Normal rank
@@ Property / cites work @@
+Algorithms for stochastic games ? A survey
@@ Property / cites work: Algorithms for stochastic games ? A survey / 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 @@
+Foundations of Software Science and Computation Structures
+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 @@
+.1016/J.IC.2011.11.004
@@ Property / DOI: 10.1016/J.IC.2011.11.004 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:418128