TY  - RPRT
TI  - Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs
AU  - Vahid Hashemi
AU  - Hassan Hatefi
AU  - Jan Krčál
PY  - 2014
DO  - 10.4204/eptcs.145.4
UR  - https://arxiv.org/abs/1403.2864
ID  - 1403.2864
ER  -