scientific article
From MaRDI portal
Publication:3323274
zbMATH Open0537.68051MaRDI QIDQ3323274
Publication date: 1983
Full work available at URL: https://eudml.org/doc/69239
Title of this publication is not available (Why is that?)
Related Items (5)
Probabilistic Automata for Safety LTL Specifications โฎ Title not available (Why is that?) โฎ Stability and Complexity of Minimising Probabilistic Automata โฎ Stabilization of probabilistic finite automata based on semi-tensor product of matrices โฎ Title not available (Why is that?)
Recommendations
- Title not available (Why is that?) ๐ ๐
- Title not available (Why is that?) ๐ ๐
- Title not available (Why is that?) ๐ ๐
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices ๐ ๐
- On probabilistic pushdown automata ๐ ๐
- Undecidable problems for probabilistic automata of fixed dimension ๐ ๐
- On the Complexity of the Equivalence Problem for Probabilistic Automata ๐ ๐
- The dimension of stability of stochastic automata ๐ ๐
- Stability and Complexity of Minimising Probabilistic Automata ๐ ๐
- On Decision Problems for Probabilistic Bรผchi Automata ๐ ๐
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)