Undecidable problems for probabilistic automata of fixed dimension
From MaRDI portal
Recommendations
- Decision problems for probabilistic finite automata on bounded languages
- Probabilistic automata on finite words: decidable and undecidable problems
- Quantum automata and algebraic groups
- Decidable problems for probabilistic automata on infinite words
- On the joint spectral radius for bounded matrix languages
Cited in
(38)- On eventual non-negativity and positivity for the weighted sum of powers of matrices
- Undecidable Problems for Probabilistic Network Programming
- Non-Sturmian sequences of matrices providing the maximum growth rate of matrix products
- On the undecidability of probabilistic planning and related stochastic optimization problems
- Probabilistic Weighted Automata
- Decision problems for probabilistic finite automata on bounded languages
- Lower bounds on complexity of Lyapunov functions for switched linear systems
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp
- scientific article; zbMATH DE number 176526 (Why is no real title available?)
- Artin’s Conjecture and Size of Finite Probabilistic Automata
- On injectivity of quantum finite automata
- Quantitative simulations by matrices
- The exact complexity of the infinite Post Correspondence Problem
- The complete realization problem for hidden Markov models: a survey and some new results
- Recursive stochastic games with positive rewards
- The boundedness of all products of a pair of matrices is undecidable
- On the joint spectral radius for bounded matrix languages
- Recursive Markov decision processes and recursive stochastic games
- Freeness properties of weighted and probabilistic automata over bounded languages
- Efficient algorithms for deciding the type of growth of products of integer matrices
- Undecidability of infinite Post correspondence problem for instances of size 8
- Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs.
- scientific article; zbMATH DE number 3854424 (Why is no real title available?)
- Decision problems for semi-Thue systems with a few rules
- Undecidability of infinite post correspondence problem for instances of Size 9
- On the finiteness property for rational matrices
- Acceptance Ambiguity for Quantum Automata
- When are emptiness and containment decidable for probabilistic automata?
- Coalgebraic infinite traces and Kleisli simulations
- Polynomially Ambiguous Probabilistic Automata on Restricted Languages
- Two recursively inseparable problems for probabilistic automata
- Undecidability and finite automata
- On the decidability of semigroup freeness.
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets
- scientific article; zbMATH DE number 1564050 (Why is no real title available?)
- Quantum automata theory -- a review
- Probabilistic Acceptors for Languages over Infinite Words
- Polynomially ambiguous probabilistic automata on restricted languages
This page was built for publication: Undecidable problems for probabilistic automata of fixed dimension
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1405789)
