Randomness for free (Q897644): Difference between revisions

@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On Decision Problems for Probabilistic Büchi Automata
+Normal rank
@@ Property / cites work @@
+Q4836494
@@ Property / cites work: Q4836494 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+POMDPs under probabilistic semantics
@@ Property / cites work: POMDPs under probabilistic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives.
+Normal rank
@@ Property / cites work @@
+Partial-Observation Stochastic Games
@@ Property / cites work: Partial-Observation Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Omega-Regular Games with Imperfect Information
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q5501249
@@ Property / cites work: Q5501249 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473719
@@ Property / cites work: Q4473719 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245633
@@ Property / cites work: Q3245633 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the Value 1 Problem for $\sharp$ -acyclic Partially Observable Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Random Measurable Selections
@@ Property / cites work: Random Measurable Selections / rank @@
+Normal rank
@@ Property / cites work @@
+Fair simulation
@@ Property / cites work: Fair simulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / 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 @@
+Infinite games played on finite graphs
@@ Property / cites work: Infinite games played on finite graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+The complexity of two-player games of incomplete information
+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