TY  - RPRT
TI  - Efficient Algorithms for Time- and Cost-Bounded Probabilistic Model Checking
AU  - Ernst Moritz Hahn
AU  - Arnd Hartmanns
PY  - 2016
UR  - https://arxiv.org/abs/1605.05551
ID  - 1605.05551
ER  -