Quantitative solution of omega-regular games (Q1887716): 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.1016/j.jcss.2003.07.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2060155289
@@ Property / OpenAlex ID: W2060155289 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038703
@@ Property / cites work: Q4038703 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518905
@@ Property / cites work: Q4518905 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245633
@@ Property / cites work: Q3245633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / 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 @@
+Existence of Value and Randomized Strategies in Zero-Sum Discrete-Time Stochastic Dynamic Games
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / 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 @@
+Demonic, angelic and unbounded probabilistic choices in sequential programs
+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 @@
+Q3753490
@@ Property / cites work: Q3753490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5545175
@@ Property / cites work: Q5545175 / rank @@
+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 @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of strategies in infinite games
@@ Property / cites work: On the synthesis of strategies in infinite games / rank @@
+Normal rank
@@ Property / cites work @@
+The bad match; a total reward stochastic game
@@ Property / cites work: The bad match; a total reward stochastic game / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2892811
@@ Property / cites work: Q2892811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5801624
@@ Property / cites work: Q5801624 / rank @@
+Normal rank
@@ Property / cites work @@
+Probability with Martingales
@@ Property / cites work: Probability with Martingales / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1887716