On Decision Problems for Probabilistic Büchi Automata (Q5458366): Difference between revisions

@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Termination of Probabilistic Concurrent Program
@@ Property / cites work: Termination of Probabilistic Concurrent Program / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528211
@@ Property / cites work: Q5528211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864760
@@ Property / cites work: Q4864760 / rank @@
+Normal rank
@@ Property / cites work @@
+On the undecidability of probabilistic planning and related stochastic optimization problems
+Normal rank
@@ Property / cites work @@
+Q5643915
@@ Property / cites work: Q5643915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic automata
@@ Property / cites work: Probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of two-player games of incomplete information
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank