Title | An approximation algorithm for labelled Markov processes: towards realistic approximation |
Publication Type | Conference Paper |
Year of Publication | 2005 |
Authors | Bouchard-Côté, A, Ferns, N, Panangaden, P, Precup, D |
Conference Name | Proceedings of the International Conference on Quantitative Evaluation of Systems |