@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={} }