@conference {177, title = {Verification of Open Interactive Markov Chains}, booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India}, year = {2012}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, organization = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-939897-47-7}, author = {Tom{\'a}s Br{\'a}zdil and Holger Hermanns and Jan Kr{\v c}{\'a}l and Jan Kret\'{\i}nsk{\'y} and Vojtech Reh{\'a}k}, editor = {Deepak D{\textquoteright}Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan} }