Qualitative reachability in stochastic BPA games (Q719240): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2069791914
@@ Property / OpenAlex ID: W2069791914 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Games with Lossy Channels
@@ Property / cites work: Stochastic Games with Lossy Channels / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674726
@@ Property / cites work: Q5674726 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties
+Normal rank
@@ Property / cites work @@
+Reachability in recursive Markov decision processes
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / 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 @@
+The complexity of stochastic games
@@ Property / cites work: The complexity of stochastic games / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative solution of omega-regular games
@@ Property / cites work: Quantitative solution of omega-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking LTL with regular valuations for pushdown systems
+Normal rank
@@ Property / cites work @@
+Recursive Stochastic Games with Positive Rewards
@@ Property / cites work: Recursive Stochastic Games with Positive Rewards / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Qualitative Analysis of Classes of Recursive Markov Decision Processes and Simple Stochastic Games
+Normal rank
@@ Property / cites work @@
+Recursive Concurrent Stochastic Games
@@ Property / cites work: Recursive Concurrent Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Random walks with “back buttons” (extended abstract)
+Normal rank
@@ Property / cites work @@
+Q5727090
@@ Property / cites work: Q5727090 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely additive stochastic games with Borel measurable payoffs
+Normal rank
@@ Property / cites work @@
+Q4939994
@@ Property / cites work: Q4939994 / 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 @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:719240