Optimal planning for architecture-based self-adaptation via model checking of stochastic games.

Javier Cmara, David Garlan, Bradley R. Schmerl, Ashutosh Pandey

Browse the full SAC paper archive.