@InProceedings{IK17,
author={A. Ismail and M. Kwiatkowska},
title={Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking},
booktitle={Proc. 24th Asia-Pacific Software Engineering Conference (APSEC 2017)},
editors={},
year={2017},
pages={},
organization={},
publisher={IEEE},
series={},
volume={},
address={},
month={},
note={To appear.}
}