Partial-Observation Stochastic Games (Q5169972): Difference between revisions

@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753357
@@ Property / cites work: Q2753357 / rank @@
+Normal rank
@@ Property / cites work @@
+On Decision Problems for Probabilistic Büchi Automata
+Normal rank
@@ Property / cites work @@
+The Effect of Tossing Coins in Omega-Automata
@@ Property / cites work: The Effect of Tossing Coins in Omega-Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative Determinacy and Decidability of Stochastic Games with Signals
+Normal rank
@@ Property / cites work @@
+Q3165948
@@ Property / cites work: Q3165948 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic automata
@@ Property / cites work: Probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness and complexity of randomization in finite state monitors
+Normal rank
@@ Property / cites work @@
+Power of Randomization in Automata on Infinite Strings
+Normal rank
@@ Property / cites work @@
+Model checking concurrent programs with nondeterminism and randomization
+Normal rank
@@ Property / cites work @@
+What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives.
+Normal rank
@@ Property / cites work @@
+The Complexity of Partial-Observation Parity Games
+Normal rank
@@ Property / cites work @@
+Randomness for Free
@@ Property / cites work: Randomness for Free / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative Analysis of Partially-Observable Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+A survey of partial-observation stochastic parity games
+Normal rank
@@ Property / cites work @@
+Algorithms for Omega-Regular Games with Imperfect Information
+Normal rank
@@ Property / cites work @@
+The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies
+Normal rank
@@ Property / cites work @@
+Decidable Problems for Probabilistic Automata on Infinite Words
+Normal rank
@@ Property / cites work @@
+The complexity of stochastic games
@@ Property / cites work: The complexity of stochastic games / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent reachability games
@@ Property / cites work: Concurrent reachability games / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction Refinement for Games with Incomplete Information.
+Normal rank
@@ Property / cites work @@
+Antichain Algorithms for Finite Automata
@@ Property / cites work: Antichain Algorithms for Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Concurrent Stochastic Games
@@ Property / cites work: Recursive Concurrent Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the Value 1 Problem for Probabilistic Leaktight Automata
+Normal rank
@@ Property / cites work @@
+Forward Analysis for WSTS, Part II: Complete WSTS
@@ Property / cites work: Forward Analysis for WSTS, Part II: Complete WSTS / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
+Normal rank
@@ Property / cites work @@
+Qualitative Concurrent Stochastic Games with Imperfect Information
+Normal rank
@@ Property / cites work @@
+Discrete-time control for rectangular hybrid automata
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4952307
@@ Property / cites work: Q4952307 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Partial-Information Stochastic Parity Games
+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 @@
+Q5643915
@@ Property / cites work: Q5643915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic automata
@@ Property / cites work: Probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+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 Value of Repeated Games with an Informed Controller
+Normal rank
@@ Property / cites work @@
+The maxmin value of stochastic games with imperfect monitoring
+Normal rank
@@ Property / cites work @@
+A multiparameter analysis of the boundedness problem for vector addition systems
+Normal rank
@@ Property / cites work @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+A first course on zero-sum repeated games
@@ Property / cites work: A first course on zero-sum repeated games / rank @@
+Normal rank
@@ Property / cites work @@
+Recurrence and Transience for Probabilistic Automata.
+Normal rank