[CGSP15] Javier Cámara, David Garlan, Bradley Schmerl and Ashutosh Pandey. Optimal Planning for Architecture-Based Self-Adaptation Via Model Checking of Stochastic Games. In Proc. 30th ACM Symposium on Applied Computing (SAC'15), Dependable and Adaptive Distributed Systems (DADS) track. 2015. [bib] [Proposes techniques for architecture-based self-adapation using stochastic multi-player games and PRISM-games.]
Downloads:  bib bib
Links: [Google] [Google Scholar]