@InProceedings{CGSP15,
author={Javier Ca{\'{a}}mara and David Garlan and Bradley Schmerl and Ashutosh Pandey},
title={Optimal Planning for Architecture-Based Self-Adaptation Via Model Checking of Stochastic Games},
booktitle={Proc. 30th ACM Symposium on Applied Computing (SAC'15)},
year={2015},

editors={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
_note={Dependable and Adaptive Distributed Systems (DADS) track},
key={}
}