@misc{indiciae3c9e7317b89b,
  title = {Compositional Verification and Optimization of Interactive Markov Chains},
  author = {Holger Hermanns and Jan Krčál and Jan Křetínský},
  year = {2013},
  doi = {10.1007/978-3-642-40184-8\_26},
  url = {https://arxiv.org/abs/1305.7332},
  note = {Source identifier: 1305.7332}
}