|
[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
|
|
Links:
[Google]
[Google Scholar]
|