Polynomial time decision algorithms for probabilistic automata
| Title | Polynomial time decision algorithms for probabilistic automata |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Turrini, A, Hermanns, H |
| Journal | Inf. Comput. |
| Volume | 244 |
| Pagination | 134–171 |
| URL | http://dx.doi.org/10.1016/j.ic.2015.07.004 |
| DOI | 10.1016/j.ic.2015.07.004 |
Work Package:
WP1
