Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (Q2233425): Difference between revisions

@@ Property / cites work @@
+Solving Parity Games on Integer Vectors
@@ Property / cites work: Solving Parity Games on Integer Vectors / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative Analysis of VASS-Induced MDPs
@@ Property / cites work: Qualitative Analysis of VASS-Induced MDPs / rank @@
+Normal rank
@@ Property / cites work @@
+Decisive Markov Chains
@@ Property / cites work: Decisive Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4836494
@@ Property / cites work: Q4836494 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable problems for probabilistic automata of fixed dimension
+Normal rank
@@ Property / cites work @@
+Infinite Runs in Weighted Timed Automata with Energy Constraints
+Normal rank
@@ Property / cites work @@
+Approximating the termination value of one-counter MDPs and stochastic games
+Normal rank
@@ Property / cites work @@
+Optimizing the expected mean payoff in energy Markov decision processes
+Normal rank
@@ Property / cites work @@
+Markov Decision Processes with Multiple Long-run Average Objectives
+Normal rank
@@ Property / cites work @@
+One-Counter Stochastic Games
@@ Property / cites work: One-Counter Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5417673
@@ Property / cites work: Q5417673 / rank @@
+Normal rank
@@ Property / cites work @@
+Zero-reachability in probabilistic multi-counter automata
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Energy Parity Games
@@ Property / cites work: Energy Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Energy and Mean-Payoff Parity Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Energy parity games
@@ Property / cites work: Energy parity games / rank @@
+Normal rank
@@ Property / cites work @@
+Perfect-Information Stochastic Mean-Payoff Parity Games
+Normal rank
@@ Property / cites work @@
+Generalized Parity Games
@@ Property / cites work: Generalized Parity Games / rank @@
+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 @@
+Q5278082
@@ Property / cites work: Q5278082 / rank @@
+Normal rank
@@ Property / cites work @@
+A pseudo-quasi-polynomial algorithm for mean-payoff parity games
+Normal rank
@@ Property / cites work @@
+Exponential Lower Bounds for Policy Iteration
@@ Property / cites work: Exponential Lower Bounds for Policy Iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / rank @@
+Normal rank
@@ Property / cites work @@
+Subexponential lower bounds for randomized pivoting rules for the simplex algorithm
+Normal rank
@@ Property / cites work @@
+Q3245641
@@ Property / cites work: Q3245641 / 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 @@
+Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time
+Normal rank
@@ Property / cites work @@
+Q5144681
@@ Property / cites work: Q5144681 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4464567
@@ Property / cites work: Q4464567 / 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 @@
+Q5144678
@@ Property / cites work: Q5144678 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple stochastic games with almost-sure energy-parity objectives are in NP and conp
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol
+Normal rank
@@ Property / cites work @@
+The complexity of multi-mean-payoff and multi-energy games
+Normal rank
@@ Property / cites work @@
+Alternating tree automata, parity games, and modal \(\mu\)-calculus
+Normal rank