scientific article; zbMATH DE number 3854424
From MaRDI portal
Publication:3323274
Recommendations
- scientific article; zbMATH DE number 3862442
- scientific article; zbMATH DE number 3377122
- Stability and Complexity of Minimising Probabilistic Automata
- The dimension of stability of stochastic automata
- On the Complexity of the Equivalence Problem for Probabilistic Automata
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices
- scientific article; zbMATH DE number 3305069
- On Decision Problems for Probabilistic Büchi Automata
- On probabilistic pushdown automata
- Undecidable problems for probabilistic automata of fixed dimension
Cited in
(7)- scientific article; zbMATH DE number 4098724 (Why is no real title available?)
- scientific article; zbMATH DE number 4047127 (Why is no real title available?)
- scientific article; zbMATH DE number 3305069 (Why is no real title available?)
- Probabilistic Automata for Safety LTL Specifications
- scientific article; zbMATH DE number 3862442 (Why is no real title available?)
- Stability and Complexity of Minimising Probabilistic Automata
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3323274)