Polynomial time decision algorithms for probabilistic automata (Q498403)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Polynomial time decision algorithms for probabilistic automata |
scientific article |
Statements
Polynomial time decision algorithms for probabilistic automata (English)
0 references
28 September 2015
0 references
probabilistic automata
0 references
weak probabilistic bisimulation
0 references
branching probabilistic bisimulation
0 references
weak probabilistic simulation
0 references
branching probabilistic simulation
0 references
linear programming problem
0 references
polynomial decision algorithm
0 references
