Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games (Q2961570): Difference between revisions

@@ Property / author @@
+Li-jun Zhang
@@ Property / author: Li-jun Zhang / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GIST
@@ Property / describes a project that uses: GIST / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PGSolver
@@ Property / describes a project that uses: PGSolver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM-games
@@ Property / describes a project that uses: PRISM-games / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2962932901
@@ Property / OpenAlex ID: W2962932901 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01474
@@ Property / arXiv ID: 1607.01474 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Solving Stochastic Games on Graphs
+Normal rank
@@ Property / cites work @@
+DAG-Width and Parity Games
@@ Property / cites work: DAG-Width and Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games
+Normal rank
@@ Property / cites work @@
+An improved algorithm for the evaluation of fixpoint expressions
+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 @@
+The complexity of quantitative concurrent parity games
+Normal rank
@@ Property / cites work @@
+Strategy improvement for concurrent reachability and turn-based stochastic safety games
+Normal rank
@@ Property / cites work @@
+Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games
+Normal rank
@@ Property / cites work @@
+Strategy Improvement for Stochastic Rabin and Streett Games
+Normal rank
@@ Property / cites work @@
+Q5501249
@@ Property / cites work: Q5501249 / rank @@
+Normal rank
@@ Property / cites work @@
+PRISM-games: A Model Checker for Stochastic Multi-Player Games
+Normal rank
@@ Property / cites work @@
+Q4287357
@@ Property / cites work: Q4287357 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative solution of omega-regular games380872
+Normal rank
@@ Property / cites work @@
+Quantitative solution of omega-regular games
@@ Property / cites work: Quantitative solution of omega-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+Non-oblivious Strategy Improvement
@@ Property / cites work: Non-oblivious Strategy Improvement / rank @@
+Normal rank
@@ Property / cites work @@
+Q5365038
@@ Property / cites work: Q5365038 / rank @@
+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 Simple Stochastic Games with Few Random Vertices
+Normal rank
@@ Property / cites work @@
+Lazy probabilistic model checking without determinisation
+Normal rank
@@ Property / cites work @@
+Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games
+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 @@
+Q5528211
@@ Property / cites work: Q5528211 / rank @@
+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 @@
+A subexponential randomized algorithm for the simple stochastic game problem
+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 @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
+Normal rank
@@ Property / cites work @@
+An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
+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 @@
+Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus
+Normal rank
@@ Property / cites work @@
+Synthesis of Asynchronous Systems
@@ Property / cites work: Synthesis of Asynchronous Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric Strategy Improvement
@@ Property / cites work: Symmetric Strategy Improvement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+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
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank