Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Javier Cámara (CMU)
February 2017 - Conference Paper Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation

Authors: Gabriel Moreno, Javier Cámara (CMU), David Garlan, Bradley Schmerl

In this paper, we present an approach that eliminates runtime overhead by constructing most Markov decision processes offline using formal specification.