@InProceedings{KNPS18,
author={M. Kwiatkowska and G. Norman and D. Parker and G. Santos},
title={Automated Verification of Concurrent Stochastic Games},
booktitle={Proc. 15th International Conference on Quantitative Evaluation of SysTems (QEST'18)},
year={2018},

editors={},
pages={223-239},
organization={},
publisher={Springer},
series={LNCS},
volume={11024},
address={},
month={},
note={},
key={}
}