@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 = {In Proc. 10th International Conference on Quantitative Evaluation of SysTems (QEST 2013)},
  year      = {2013},
  pages     = {322--337},
  publisher = {IEEE CS Press},
  note      = {},
}