Pages that link to "Item:Q5167844"
From MaRDI portal
The following pages link to Stability and Complexity of Minimising Probabilistic Automata (Q5167844):
Displaying 9 items.
- On the complexity of minimizing probabilistic and quantum automata (Q690502) (← links)
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices (Q776109) (← links)
- Generalized minimal forms of stochastic automata with periodically varying structure (Q864411) (← links)
- The quest for minimal quotients for probabilistic and Markov automata (Q1784955) (← links)
- Equivalence checking of quantum finite-state machines (Q2220441) (← links)
- Trace Refinement in Labelled Markov Decision Processes (Q2811347) (← links)
- Minimisation of Multiplicity Tree Automata (Q2949446) (← links)
- (Q3323274) (← links)
- Singular value automata and approximate minimization (Q5108539) (← links)