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)
