Decision Questions for Probabilistic Automata on Small Alphabets (Q6137871): Difference between revisions

@@ Property / DOI @@
-.46298/lmcs-19(4:36)2023
@@ Property / DOI: 10.46298/lmcs-19(4:36)2023 / rank @@
-Normal rank
@@ Property / DOI @@
-.4230/lipics.mfcs.2021.15
@@ Property / DOI: 10.4230/lipics.mfcs.2021.15 / rank @@
-Normal rank
@@ Property / cites work @@
+Reachability problems for Markov chains
@@ Property / cites work: Reachability problems for Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Near-Optimal Complexity Bounds for Fragments of the Skolem Problem
+Normal rank
@@ Property / cites work @@
+Undecidable problems for probabilistic automata of fixed dimension
+Normal rank
@@ Property / cites work @@
+Polynomially Ambiguous Probabilistic Automata on Restricted Languages
+Normal rank
@@ Property / cites work @@
+A robust class of linear recurrence sequences
@@ Property / cites work: A robust class of linear recurrence sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143209
@@ Property / cites work: Q4143209 / rank @@
+Normal rank
@@ Property / cites work @@
+The presence of a zero in an integer linear recurrent sequence is NP-hard to decide
+Normal rank
@@ Property / cites work @@
+Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs.
+Normal rank
@@ Property / cites work @@
+Decision Questions for Probabilistic Automata on Small Alphabets
+Normal rank
@@ Property / cites work @@
+Fast parallel matrix and GCD computations
@@ Property / cites work: Fast parallel matrix and GCD computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5002806
@@ Property / cites work: Q5002806 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Automata of Bounded Ambiguity
@@ Property / cites work: Probabilistic Automata of Bounded Ambiguity / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
+Normal rank
@@ Property / cites work @@
+Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages
+Normal rank
@@ Property / cites work @@
+Q4040931
@@ Property / cites work: Q4040931 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742754
@@ Property / cites work: Q3742754 / rank @@
+Normal rank
@@ Property / cites work @@
+NP-complete decision problems for binary quadratics
+Normal rank
@@ Property / cites work @@
+Decision Problems for Linear Recurrence Sequences
@@ Property / cites work: Decision Problems for Linear Recurrence Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Positivity Problems for Low-Order Linear Recurrence Sequences
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5643915
@@ Property / cites work: Q5643915 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic automata
@@ Property / cites work: Probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Automata and Stochastic Languages
@@ Property / cites work: Generalized Automata and Stochastic Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Occurrence of zero in a linear recursive sequence
@@ Property / cites work: Occurrence of zero in a linear recursive sequence / rank @@
+Normal rank
@@ Property / DOI @@
+.46298/LMCS-19(4:36)2023
@@ Property / DOI: 10.46298/LMCS-19(4:36)2023 / rank @@
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.MFCS.2021.15
@@ Property / DOI: 10.4230/LIPICS.MFCS.2021.15 / rank @@
+Normal rank