A space-efficient simulation algorithm on probabilistic automata (Q2629854)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A space-efficient simulation algorithm on probabilistic automata |
scientific article |
Statements
A space-efficient simulation algorithm on probabilistic automata (English)
0 references
7 July 2016
0 references
probabilistic automata
0 references
simulation
0 references
partition refinement
0 references
decision algorithm
0 references
0 references
0 references
