@InProceedings{CKSW13,
author={T. Chen and M. Kwiatkowska and A. Simaitis and C. Wiltsche},
title={Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving},
booktitle={Proc. 10th International Conference on Quantitative Evaluation of SysTems (QEST'13)},
year={2013},

editor={},
pages={322--337},
organization={},
publisher={Springer},
series={LNCS},
volume={8054},
address={},
month={},
note={},
key={}
}