Quantitative verification and strategy synthesis for stochastic games (Q328165): Difference between revisions

@@ Property / cites work @@
+The Complexity of Solving Stochastic Games on Graphs
+Normal rank
@@ Property / cites work @@
+Q4943605
@@ Property / cites work: Q4943605 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Controller Synthesis for Stochastic Games
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Q2908872
@@ Property / cites work: Q2908872 / rank @@
+Normal rank
@@ Property / cites work @@
+A Pumping Algorithm for Ergodic Stochastic Mean Payoff Games with Perfect Information
+Normal rank
@@ Property / cites work @@
+Reachability in Stochastic Timed Games
@@ Property / cites work: Reachability in Stochastic Timed Games / rank @@
+Normal rank
@@ Property / cites work @@
+Comparison of LTL to Deterministic Rabin Automata Translators
+Normal rank
@@ Property / cites work @@
+Continuous-time stochastic games with time-bounded reachability
+Normal rank
@@ Property / cites work @@
+Partial-Observation Stochastic Games
@@ Property / cites work: Partial-Observation Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of partial-observation stochastic parity games
+Normal rank
@@ Property / cites work @@
+A survey of stochastic \(\omega \)-regular games
@@ Property / cites work: A survey of stochastic \(\omega \)-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5501249
@@ Property / cites work: Q5501249 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies
+Normal rank
@@ Property / cites work @@
+Value Iteration
@@ Property / cites work: Value Iteration / 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 for Stochastic Rabin and Streett Games
+Normal rank
@@ Property / cites work @@
+Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games
+Normal rank
@@ Property / cites work @@
+Multi-objective Discounted Reward Verification in Graphs and MDPs
+Normal rank
@@ Property / cites work @@
+QUASY: Quantitative Synthesis Tool
@@ Property / cites work: QUASY: Quantitative Synthesis Tool / rank @@
+Normal rank
@@ Property / cites work @@
+On Stochastic Games with Multiple Objectives
@@ Property / cites work: On Stochastic Games with Multiple Objectives / rank @@
+Normal rank
@@ Property / cites work @@
+Playing Stochastic Games Precisely
@@ Property / cites work: Playing Stochastic Games Precisely / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Verification of Competitive Stochastic Systems
+Normal rank
@@ Property / cites work @@
+PRISM-games: A Model Checker for Stochastic Multi-Player Games
+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 @@
+Recursive Concurrent Stochastic Games
@@ Property / cites work: Recursive Concurrent Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Multi-objective Verification for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Expected Reachability-Time Games
@@ Property / cites work: Expected Reachability-Time Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245641
@@ Property / cites work: Q3245641 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional probabilistic verification through multi-objective model checking
+Normal rank
@@ Property / cites work @@
+Automated Verification and Strategy Synthesis for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Formal Verification and Synthesis for Discrete-Time Stochastic Systems
+Normal rank
@@ Property / cites work @@
+Stochastic Games with Perfect Information and Time Average Payoff
+Normal rank
@@ Property / cites work @@
+A subexponential randomized algorithm for the simple stochastic game problem
+Normal rank
@@ Property / cites work @@
+The determinacy of Blackwell games
@@ Property / cites work: The determinacy of Blackwell games / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Control of Markov Decision Processes with Uncertain Transition Matrices
+Normal rank
@@ Property / cites work @@
+The Complexity of Markov Decision Processes
@@ Property / cites work: The Complexity of Markov Decision Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games
+Normal rank
@@ Property / cites work @@
+Probabilistic automata
@@ Property / cites work: Probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3417917
@@ Property / cites work: Q3417917 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
+Normal rank
@@ Property / cites work @@
+The Complexity of Nash Equilibria in Stochastic Multiplayer Games
+Normal rank