@conference {174, title = {Compositional Verification and Optimization of Interactive Markov Chains}, booktitle = {CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings}, year = {2013}, publisher = {Springer}, organization = {Springer}, address = {Buenos Aires}, isbn = {978-3-642-40183-1}, author = {Holger Hermanns and Jan Kr{\v c}{\'a}l and Jan Kret\'{\i}nsk{\'y}} }