@InProceedings{Kwi16,
author={Marta Kwiatkowska},
title={Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice},
booktitle={Proc. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)},
year={2016},

editors={},
pages={},
organization={},
publisher={Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
series={},
volume={},
address={},
month={},
note={},
key={}
}