Probabilistic Bisimulations for {PCTL} Model Checking of Interval MDPs (extended version)
| Title | Probabilistic Bisimulations for {PCTL} Model Checking of Interval MDPs (extended version) |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Hashemi, V, Hatefi, H, Krčál, J |
| Conference Name | Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014. |
| URL | http://dx.doi.org/10.4204/EPTCS.145.4 |
| DOI | 10.4204/EPTCS.145.4 |
Work Package:
WP1
