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

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 13, 2015
Source ID
10.1145/2695664.2695680

Entities

People

  • Ashutosh Pandey
  • Bradley Schmerl
  • David Garlan
  • Javier Cámara

Organizations

  • Carnegie Mellon University
  • National Science Foundation
  • Office of Naval Research