@InProceedings{KNP19,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Verification and Control of Turn-Based Probabilistic Real-Time Games},
booktitle={The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy (Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday)},
year={2019},

editor={M. Alvim and K. Chatzikokolakis and C. Olarte and F. Valencia},
pages={379-396},
organization={},
publisher={Springer},
series={LNCS},
volume={11760},
address={},
month={},
note={},
key={}
}