@InProceedings{KP13,
author={M. Kwiatkowska and D. Parker},
title={Automated Verification and Strategy Synthesis for Probabilistic Systems},
booktitle={Proc. 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13)},
year={2013},

editor={D. Van Hung and M. Ogawa},
pages={5--22},
organization={},
publisher={Springer},
series={LNCS},
volume={8172},
address={},
month={},
note={},
key={}
}