@InProceedings{FKNT10a,
author={V. Forejt and M. Kwiatkowska and G. Norman and A. Trivedi},
title={Expected Reachability-Time Games},
booktitle={Proc. 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10)},
year={2010},
editor={K. Chatterjee and T. Henzinger},
pages={122--136},
organization={},
publisher={Springer},
series={LNCS},
volume={6246},
address={},
month={},
note={},
key={}
}