Reference:

Holger Hermanns, Jan Krcal, and Jan Kretinsky. Compositional verification and optimization of interactive Markov chains. Technical Report abs/1305.7332, arXiv.org, 2013.

Suggested BibTeX entry:

@techreport{DBLP:confconcurHermannsKK13-techreport,
    author = {Holger Hermanns and Jan Kr{c}{a}l and Jan Kretinsky},
    institution = {arXiv.org},
    number = {abs/1305.7332},
    title = {Compositional Verification and Optimization of Interactive {M}arkov Chains},
    year = {2013}
}