@InProceedings{BKTW14,
author={N. Basset and M. Kwiatkowska and U. Topcu and C. Wiltsche},
title={Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives},
booktitle={Proc. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15)},
year={2015},

editors={C. Baier and C. Tinelli},
pages={256-271},
organization={},
publisher={Springer},
series={LNCS},
volume={9035},
address={},
month={},
note={},
key={}
}